Kifer Michael, Liu Yanhong Annie (eds.) Declarative Logic Programming: Theory, Systems, and Applications

Morgan & Claypool Publishers, 2018. — 520 p. — (ACM Books, 20). — ISBN: 978-1-97000-197-6 eBook.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 stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic.The goal of this book is to help fill in the void in the literature with state-of-the-art surveys on key aspects of LP. Much attention was paid to making these surveys accessible to researchers, practitioners, and graduate students alike.Theory
The History of Datalog
An Introduction to the Stable and Well-Founded Semantics of Logic Programming
A Survey on Probabilistic Programming
Systems
WAM for Everyone: A Virtual Machine for Logic Programming
Predicate Logic as a Modeling Language: The IDP System
Solverbox: Algebraic Modeling in Datalog
Applications
Exploring Life: Answer Set Programming in Bioinformatics
State Space Search with Tabled Logic Programming
Natural Language Processing with (Tabled and Constraint) Logic Programming
Logic Programming Applications: What are the abstractions and implementations?