Declarative Logic Programming Theory, Systems, and Applications
Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimu...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
San Rafael
Association for Computing Machinery
2018
|
| Edition: | 1 |
| Subjects: | |
| ISBN: | 1970001968, 9781970001969 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Intro -- Contents -- Preface -- Part I. THEORY -- 1. Datalog: Concepts, History, and Outlook -- 2. An Introduction to the Stable and Well-Founded Semantics of Logic Programs -- 3. A Survey of Probabilistic Logic Programming -- Part II. SYSTEMS -- 4. WAM for Everyone: A Virtual Machine for Logic Programming -- 5. Predicate Logic as a Modeling Language: The IDP System -- 6. SolverBlox: Algebraic Modeling in Datalog -- Part III. APPLICATIONS -- 7. Exploring Life: Answer Set Programming in Bioinformatics -- 8. State-Space Search withTabled Logic Programs -- 9. Natural Language Processing with (Tabled and Constraint) Logic Programming -- 10. Logic Programming Applications: What Are the Abstractions and Implementations? -- Index -- Biographies -- Blank Page