Prolog Programming
by Roman Bartak
1998
Description:
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.
Download or read it online for free here:
Read online
(online html)
Similar books
Prolog Techniquesby 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.
(20458 views)
Prolog Experiments in Discrete Mathematics, Logic, and Computabilityby James Hein - Portland State University
Programming experiments designed to help learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.
(22311 views)
An Introduction to Logic Programming through Prologby 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.
(17140 views)
The Power of Prologby Markus Triska - metalevel.at
The goal of this material is to bridge the gap between the great Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant.
(8817 views)