Research Catalog
The art of Prolog : advanced programming techniques
- Title
- The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren.
- Author
- Sterling, Leon.
- Publication
- Cambridge, Mass. : MIT Press, ©1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA76.73.P76 S74 1994 | Off-site |
Details
- Additional Authors
- Shapiro, Ehud Y.
- Description
- xxxix, 509 pages : illustrations; 24 cm.
- Summary
- This second edition contains revised chapters taking into account recent research advances. More advanced exercises have been included, and "Part II The Prolog Language" has been modified to be compatible with the new Prolog standard. This is a graduate level text that can be used for self-study.
- Series Statement
- Logic programming
- Uniform Title
- Logic programming.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [483]-495) and index.
- Contents
- I. Logic Programs. 1. Basic Constructs. 2. Database Programming. 3. Recursive Programming. 4. The Computation Model of Logic Programs. 5. Theory of Logic Programs -- II. The Prolog Language. 6. Pure Prolog. 7. Programming in Pure Prolog. 8. Arithmetic. 9. Structure Inspection. 10. Meta-Logical Predicates. 11. Cuts and Negation. 12. Extra-Logical Predicates. 13. Program Development -- III. Advanced Prolog Programming Techniques. 14. Nondeterministic Programming. 15. Incomplete Data Structures. 16. Second-Order Programming. 17. Interpreters. 18. Program Transformation. 19. Logic Grammars. 20. Search Techniques -- IV. Applications. 21. Game-Playing Programs. 22. A Credit Evaluation Expert System. 23. An Equation Solver. 24. A Compiler -- A: Operators.
- ISBN
- 0262193388
- 9780262193382
- 0262691639
- 9780262691635
- LCCN
- 93049494
- 9780262691635
- OCLC
- ocm29564724
- 29564724
- SCSB-9161986
- Owning Institutions
- Princeton University Library