Название: Declarative Logic Programming: Theory, Systems, and Applications
Автор: Michael Kifer, Yanhong Annie Liu
Издательство: ACM Books
Год: 2018
Страниц: 615
Язык: английский
Формат: pdf (true), epub
Размер: 28.1 MB
Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of "what" to do rather than "how" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically.