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ženo v:
Podrobná bibliografie
Hlavní autoři: Michael, Kifer, Liu, Yanhong
Médium: E-kniha
Jazyk:angličtina
Vydáno: San Rafael Association for Computing Machinery 2018
Vydání:1
Témata:
Declarative programming
Logic programming
ISBN:1970001968, 9781970001969
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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