J.M. Spivey, Imperial College

Published March, 1996 by Prentice Hall PTR (ECS Professional)

Copyright 1996, 352 pp.
Paper
ISBN 0-13-536047-1
$37.33

Sign up for future
mailings on this subject.

See other books about:
    Prolog

Using theory as a foundation for practical programming, this book 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. 12/93 PTR Catalog.

1. Overview.
2. Programming with Relations and Terms.
3. Horn Clause Programs.
4. Unification and Resolution.
5. Answers and SLD-Resolution.
6. Programming Examples.
7. Negation as Failure.
8. Program Transformation.
9. Implementation.
10. Representing Substitutions.