From Logic Programming to Prolog

Appeared in Volume 10/1, February 1997

"From Logic Programming to Prolog" provides an introduction to the theory of logic programming, and its application to Prolog programs.

Organised to provide self-contained studies of both the foundations of logic programming and Prolog programming, this book is the most comprehensive work in the area. It deals systematically with programming issues such as termination, occur-check freedom, partial correctness and absence of run-time errors.

A short contents list (a full version can be found at http://www.cwi.nl/~apt): Introduction; Unification; Logic Programs: Procedural Interpretation; Logic Programs: Declarative Interpretation; Programming in Pure Prolog; Termination; The Occur-check Problem; Partial Correctness; Programming in Pure Prolog with Arithmetic; Verification of Pure Prolog Programs with Arithmetic; Towards Full Prolog.

328 + xviii pages
Prentice Hall International Series in Computer Science
Price: US$32.00
ISBN: 0-13-230368-X

For more information about ordering, contact:

Jacqueline Harbor
Prentice Hall
Email: Jacqueline_Harbor@prenhall.co.uk