Krzysztof Apt, CWI, Amsterdam

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

Copyright 1996, 280 pp.
Paper
ISBN 0-13-230368-X
$33.60

Sign up for future
mailings on this subject.

See other books about:
    Prolog

A complete introduction to both logic programming and the Prolog language.

Shows how logic programming and Prolog can be used in important applications such as artificial intelligence, knowledge-based systems, computational linguistics, and concurrent programming. Covers important Prolog programming issues such as determination, occur-check freedom, partial correctness, and absence of errors. Demonstrates how Prolog programs may be verified. logic programming or the Prolog computer language.



A systematic introduction to the theory of logic programming and how it can be applied to pure Prolog programs.

• Covers the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

• Introduces programming in Prolog.

• Classroom tested, with exercises, examples and solutions.