Declarative Logic Programming Theory, Systems, and Applications |
|
Author:
| Kifer, Michael Liu, Yanhong Annie |
Series title: | ACM Bks. |
ISBN: | 978-1-970001-97-6 |
Publication Date: | Sep 2018 |
Publisher: | Morgan & Claypool Publishers
|
Book Format: | Ebook |
List Price: | USD $63.96 |
Book Description:
|
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...
More DescriptionLogic 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.