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...

Celý popis

Uložené v:
Podrobná bibliografia
Hlavní autori: Michael, Kifer, Liu, Yanhong
Médium: E-kniha
Jazyk:English
Vydavateľské údaje: San Rafael Association for Computing Machinery 2018
Vydanie:1
Predmet:
Declarative programming
Logic programming
ISBN:1970001968, 9781970001969
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
ISBN:1970001968
9781970001969
DOI:10.1145/3191315