From logic programming to Prolog / Krzysztof R. Apt.
Material type:
TextPublication details: London, United Kingdom : Prentice-Hall, c1997Description: xviii, 328 pages ; 24 cmISBN: - 9780132303682
- QA 76.73 .A68 1997
Books
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
National University - Manila | LRC - Main General Circulation | Computer Science | GC QA 76.73 .A68 1997 (Browse shelf(Opens below)) | c.1 | Available | NULIB000002867 |
Browsing LRC - Main shelves, Shelving location: General Circulation, Collection: Computer Science Close shelf browser (Hides shelf browser)
| No cover image available |
|
No cover image available |
|
|
No cover image available | No cover image available | ||
| GC QA 76.65 .C67 1992 Visual Basic for Windows inside & out / | GC QA 76.65 .S36 1992 Visual Basic for MS-DOS by example / | GC QA 76.66 .B43 1997 System software : an introduction to systems programming / | GC QA 76.73 .A68 1997 From logic programming to Prolog / | GC QA 76.73 .B73 2009 Programming in Visual Basic 2008 / | GC QA 76.73 .B87 1996 Logic and its applications / | GC QA 76.73 .C78 [c?] c.1 CS 254 Logic design. |
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.