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: Logic, Programming and PrologLogic, Programming and Prolog
by - John Wiley & Sons Inc
This textbook provides a uniform account of both the foundations of logic programming and simple programming techniques in the programming language Prolog. The authors limited their attention to the most important areas of logic programming.
(16338 views)
Book cover: Adventure in PrologAdventure in Prolog
by - Springer
This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools. Much of the book is built around the writing of a short adventure game.
(15724 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.
(13722 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.
(12508 views)