From logic programming to Prolog / Krzysztof R. Apt.
Material type:
TextSeries: Prentice Hall International series in computer sciencePublication details: London : Prentice Hall, c1997Description: xviii, 328 pages ; 24 cmISBN: 9780132303682Subject(s): LOGIC PROGRAMMING | PROLOG (COMPUTER PROGRAM LANGUAGE)LOC classification: QA 76.73 .A68 1997
Books
| Item type | Current library | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
LRC - Main | National University - Manila | Computer Science | General Circulation | 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.