Loading…

QR Code

Techniques of PROLOG programming with implementation of logical negation and quantified goals /

Saved in:

Bibliographic Details
Main Author:	Van Le, T.
Format:	Thesis Book
Language:	English
Published:	New York : Wiley, c1993.
Subjects:	PROLOG (Computer programme language) Negation (Logic)
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Prolog applications /
by: Schmitter, E. D.
Published: (1987)

Negation and control in PROLOG /
by: Naish, Lee, 1960-
Published: (1986)

The negative : exposure and development /
by: Adams, Ansel
Published: (1948)

The implementation of Prolog /
by: Boizumault, Patrice, 1959-
Published: (1993)

Implementations of Prolog
Published: (1984)

The negative
by: Adams, Ansel, 1902-
Published: (1981)

Programming in Prolog /
by: Clocksin, W. F. (William F.), 1955-
Published: (1987)

Programming in Prolog
by: Clocksin, W. F. (William F.), 1955-
Published: (1985)

Programming in Prolog /
by: Clocksin, W. F. (William F.), 1955-

Prolog: programming for tomorrow /
by: Doores, J.
Published: (1987)

Micro-PROLOG programming in logic
by: Clark, K. L. (Keith L.)
Published: (1984)

The art of Prolog : advanced programming techniques /
by: Sterling, Leon
Published: (1986)

Prolog /
Published: (1986)

Prolog programming and applications /
by: Burnham, W. D.

Turbo Prolog : features for programmers /
by: Nath, Sanjiva K.
Published: (1986)

Programming in micro-PROLOG made simple /
by: Hepburn, P. H.
Published: (1986)

Programming in micro-PROLOG
by: De Saram, Hugh, 1946-
Published: (1985)

Start problem-solving with Prolog
by: Conlon, Tom, 1954-
Published: (1985)

Artificial intelligence techniques in Prolog /
by: Shoham, Yoav
Published: (1994)

Beginning micro-PROLOG
by: Ennals, J. R. (John Richard), 1951-
Published: (1984)

Developing : the negative technique /
by: Jacobson, Kurt I.
Published: (1972)

Prolog and expert systems /
by: Bowen, Kenneth A.
Published: (1991)

A PROLOG database system /
by: Li, Deyi, 1944-
Published: (1984)

Logic programming /
Published: (1982)

Digital system design using programmable logic devices /
by: Lala, Parag K., 1948-
Published: (1990)

The elements of logic /
by: Barker, Stephen Francis
Published: (1974)

Fundamentals of logic /
by: Carney, James Donald
Published: (1974)

Logic and structure
by: Dalen, D. van (Dirk van), 1932-
Published: (1980)

Electronic logic systems /
by: Almaini, A. E. A., 1945-
Published: (1986)

The range of epistemic logic
by: Schlesinger, George N.
Published: (1985)

Digital logic techniques principles and practice
by: Stonham, T. J.
Published: (1984)

Digital logic techniques : principles and practice /
by: Stonham, J. T.
Published: (1987)

Equational logic as a programming language
by: O'Donnell, Michael J., 1952-
Published: (1985)

Logic and structure
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Computer logic : principles and techniques /
by: Hutchison, David, M. Tech
Published: (1987)

Matrix logic /
by: Stern, August
Published: (1988)

Algebraizable logics /
by: Blok, W. J., 1947-
Published: (1989)

Logic design and computer organization /
by: Lewin, Morton H.
Published: (1983)

Screen input/output programming techniques using Turbo Pascal /
by: Stuart, Andy
Published: (1987)

Electronic logic circuits /
by: Gibson, J. R.
Published: (1983)