Amazon cover image
Image from Amazon.com

From logic programming to Prolog / Krzysztof R. Apt.

By: Material type: TextTextPublication details: London, United Kingdom : Prentice-Hall, c1997Description: xviii, 328 pages ; 24 cmISBN:
  • 9780132303682
Subject(s): LOC classification:
  • QA 76.73 .A68 1997
Contents:
List of figures -- List of programs -- Preface -- Acknowledgements -- 1. Introduction -- 2. Unification -- 3. Logic programs: procedural interpretation -- 4. Logic programs: declarative interpretation -- 5. Programming in pure Prolog -- 6. Terminations -- 7. The occur-check problem -- 8. Partial correctness -- 9. Programming in Pure Prolog with arithmetic -- 10. Verification of Pure Prolog programs with arithmetic -- 11. Towards full Prolog -- Index.
Summary: From Logic Programming to Prolog is a unique publication that provides an introduction to the theory of logic programming, and its application to Prolog programs. While logic programming and Prolog are closely related, other texts have always treated them separately. Books on logic programming have focused on the theoretical foundations of the subject, whilst Prolog texts have always concentrated on language features and programming techniques.
Item type: Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Copy number Status Date due Barcode
Books Books National University - Manila LRC - Main General Circulation Computer Science GC QA 76.73 .A68 1997 (Browse shelf(Opens below)) c.1 Available NULIB000002867

Includes index.

List of figures -- List of programs -- Preface -- Acknowledgements -- 1. Introduction -- 2. Unification -- 3. Logic programs: procedural interpretation -- 4. Logic programs: declarative interpretation -- 5. Programming in pure Prolog -- 6. Terminations -- 7. The occur-check problem -- 8. Partial correctness -- 9. Programming in Pure Prolog with arithmetic -- 10. Verification of Pure Prolog programs with arithmetic -- 11. Towards full Prolog -- Index.

From Logic Programming to Prolog is a unique publication that provides an introduction to the theory of logic programming, and its application to Prolog programs. While logic programming and Prolog are closely related, other texts have always treated them separately. Books on logic programming have focused on the theoretical foundations of the subject, whilst Prolog texts have always concentrated on language features and programming techniques.

There are no comments on this title.

to post a comment.