Logic, Programming and Prolog

Front Cover
Wiley, Jun 21, 1990 - Computers - 304 pages
Found within the confines of these pages is a well-written monograph that provides an intuitive account of both the foundations of logic programming and simple programming techniques in Prolog. Only the most important areas of logic programming are considered. The book covers foundations, programming in logic, and alternative logic programming schemes. Within each of these sections are comprehensive explorations covering areas such as SLD-resolution, negation in logic programming, logic and databases, logic and expert systems, logic and grammars, logic programming and concurrency, logic programs with equality, and constraint logic programming. In addition, there are bibliographical notes and answers to selected exercises.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Preliminaries
3
Definite Logic Programs
21
SLDResolution
37
Copyright

14 other sections not shown

Common terms and phrases

Bibliographic information