Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Foundations of Logic Programming
Foto dell'editore
Foundations of Logic Programming (Artificial Intelligence)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020237441
Compra nuovo
EUR 122,86
Spese di spedizione:
EUR 3,47
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Foundations of Logic Programming (Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642831911_new
Compra nuovo
EUR 121,77
Spese di spedizione:
EUR 13,60
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Foundations of Logic Programming
Editore:
Springer, Springer Dez 2011, 2011
ISBN 10: 3642831915
ISBN 13: 9783642831911
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate). 228 pp. Englisch. Codice articolo 9783642831911
Compra nuovo
EUR 128,39
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Foundations of Logic Programming
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the sec. Codice articolo 5071814
Compra nuovo
EUR 109,83
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Foundations of Logic Programming
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Foundations of Logic Programming | John W. Lloyd | Taschenbuch | xii | Englisch | 2011 | Springer | EAN 9783642831911 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 105645231
Compra nuovo
EUR 114,00
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Foundations of Logic Programming
ISBN 10: 3642831915
ISBN 13: 9783642831911
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch. Codice articolo 9783642831911
Compra nuovo
EUR 128,39
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Foundations of Logic Programming
Editore:
Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2011
ISBN 10: 3642831915
ISBN 13: 9783642831911
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate). Codice articolo 9783642831911
Compra nuovo
EUR 128,39
Spese di spedizione:
EUR 62,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 2nd edition. 228 pages. 9.53x6.46x0.71 inches. In Stock. Codice articolo x-3642831915
Compra nuovo
EUR 180,58
Spese di spedizione:
EUR 11,35
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Foundations of Logic Programming (Symbolic Computation)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA77336428319156
Compra usato
EUR 185,94
Spese di spedizione:
EUR 28,38
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili