Krzysztof Apt, CWI, Amsterdam

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

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

Sign up for future
mailings on this subject.

See other books about:
    Prolog--Programming-Computer Science

This text provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. It includes an introduction to programming in prolog and deals with such programming issues as determination, occur-check freedom and absence of errors.

---

© Prentice-Hall, Inc. A Simon & Schuster Company Comments To webmaster@prenhall.com