Logo

An Introduction to Logic Programming through Prolog

Small book cover: An Introduction to Logic Programming through Prolog

An Introduction to Logic Programming through Prolog
by

Publisher: Prentice Hall
ISBN/ASIN: 0135360471
ISBN-13: 9780135360477
Number of pages: 258

Description:
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

Home page url

Download or read it online for free here:
Download link
(1.4MB, PDF)

Similar books

Book cover: prolog :- tutorialprolog :- tutorial
by - California State Polytechnic University, Pomona
Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.
(1321 views)
Book cover: Applications of PrologApplications of Prolog
by - BookBoon
In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.
(8103 views)
Book cover: The Power of PrologThe Power of Prolog
by - 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.
(757 views)
Book cover: Prolog TechniquesProlog Techniques
by - 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.
(6705 views)