prolog :- tutorial
by J. R. Fisher
Publisher: California State Polytechnic University, Pomona 2013
Number of pages: 179
Prolog is a logical and a declarative programming language. This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.
Home page url
Download or read it online for free here:
by Michael A. Covington, Donald Nute, Andre Vellino - Prentice-Hall
Full coverage of the Prolog programming language including the latest ISO standard. Includes ready-to-run code for expert system shells, other intelligent problem-solvers, and algorithms to read foreign file formats, even Lotus spreadsheets.
by Attila Csenki - BookBoon
This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.
by Michael Spivey - Prentice Hall
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.
by Roman Bartak
Prolog is a programming language with precise operational meaning that borrows its basic concepts from logic programming. This text is an introduction to logic programming and Prolog for beginners but it also covers some advanced topics.