Название: Prolog: The Next 50 Years
Автор: David S. Warren, Veronica Dahl, Thomas Eiter
Издательство: Springer
Серия: Lecture Notes in Computer Science Book
Год: 2023
Страниц: 399
Язык: английский
Формат: pdf (true)
Размер: 25.1 MB
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future. Prolog is a logical language for making true statements about a world, whose statements can be interpreted as a program and thus evaluated to conclude an answer to a question. Functional programs are understood as defining functions whereas Prolog programs are generally understood as defining relations. Dynamic Logic Programming (DLP) is an extension to logic programming designed to support the representation of knowledge about dynamic worlds. It combines the strengths of safe, stratified, side-effect-free logic programming in defining relations with the power of simultaneous transition rules for defining dynamic operations.