John W. Lloyd

Foundations of Logic Programming (eBook, PDF)

• Format: PDF

Produktbeschreibung

This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. The topics covered include the semantics of various classes of programs, the semantics of perpetual processes, and the foundations of Deductive Database Systems. The book contains many illustrative examples and over 100 problems.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 212
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9783642831898
• Artikelnr.: 53103872

Inhaltsangabe

1. Preliminaries.-
1. Introduction.-
2. First Order Theories.-
3. Interpretations and Models.-
4. Unification.-
5. Fixpoints.- Problems for Chapter 1.- 2. Definite Programs.-
6. Declarative Semantics.-
7. Soundness of SLD-Resolution.-
8. Completeness of SLD-Resolution.-
9. Independence of the Computation Rule.-
10. SLD-Refutation Procedures.-
11. Cuts.- Problems for Chapter 2.- 3. Normal Programs.-
12. Negative Information.-
13. Finite Failure.-
14. Programming with the Completion.-
15. Soundness of SLDNF-Resolution.-
16. Completeness of SLDNF-Resolution.- Problems for Chapter 3.- 4. Programs.-
17. Introduction to Programs.-
18. SLDNF-Resolution for Programs.-
19. Declarative Error Diagnosis.-
20. Soundness and Completeness of the Diagnoser.- Problems for Chapter 4.- 5. Deductive Databases.-
21. Introduction to Deductive Databases.-
22. Soundness of Query Evaluation.-
23. Completeness of Query Evaluation.-
24. Integrity Constraints.- Problems for Chapter 5.- 6. Perpetual Processes.-
25. Complete Herbrand Interpretations.-
26. Properties of T'p.-
27. Semantics of Perpetual Processes.- Problems for Chapter 6.- References.- Notation.