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

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
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 implementation of Prolog /
by: Boizumault, Patrice, 1959-
Published: (1993)

Implementations of Prolog
Published: (1984)

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-

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: programming for tomorrow /
by: Doores, J.
Published: (1987)

Turbo prolog : step by step with Turbo Prolog 2.0 /
by: Cafolla, Ralph
Published: (1989)

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

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

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

Prolog /
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)

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

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

Programmable logic handbook /
by: Bostock, Geoff
Published: (1994)

Temporal Logic for Programmable Logic Controllers
by: Natalia Olegovna Garanina, et al.
Published: (2020-12-01)

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog
by: D. V. Zdor
Published: (2021-09-01)

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

Communicating with databases in natural language /
by: Wallace, M. (Mark), 1955-
Published: (1984)

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

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

Method for synthesizing a logic element that implements several functions simultaneously
by: S. I. Sovetov, et al.
Published: (2023-06-01)

Logic programming /
Published: (1982)

Using C++ /
by: Eckel, Bruce
Published: (1989)

Using Turbo C++ /
by: Schildt, Herbert
Published: (1990)

Designing logic systems using state machines /
by: Clare, Christopher R.
Published: (1973)

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

Creation of programs for controlling programmable logic controllers using universal development tools
by: Farit I. Lotfullin, et al.
Published: (2025-01-01)

Is S5 Paraconsistent?
by: Hitoshi Omori
Published: (2025-07-01)

COBOL programs for libraries /
by: Kurmey, William J.
Published: (1990)

Artificial intelligence and the design of expert systems /
by: Luger, George F.
Published: (1989)

Computer logic : the functional design of digital computers /
by: Flores, Ivan
Published: (1960)

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