Abstract
We argue that various extensions proposed for Prolog—tabling, constraints, parallelism, coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how goal-directed predicate answer set programming can be incorporated in Prolog, and how it facilitates development of advanced applications in AI and automated commonsense reasoning.
Cite
CITATION STYLE
Gupta, G., Salazar, E., Shakerin, F., Arias, J., Varanasi, S. C., Basu, K., … Carro, M. (2023). Prolog: Past, Present, and Future. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13900 LNAI, pp. 48–61). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-35254-6_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
