Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

   page       BibTeX_logo.png   
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak (a cura di)
Logics in Artificial Intelligence, pp. 407–420
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 12678
Springer
2021

The ability to lazily manipulate long or infinite streams of data is an essential feature in the era of data-driven artificial intelligence. Yet, logic programming technologies currently fall short when it comes to handling long or infinite streams of data. In this paper, we discuss how Prolog can be reinterpreted as a stream processing tool, and re-designed around an abstract state-machine capable of lazily manipulating streams of data via backtracking.

parole chiave   Prolog; Stream processing; 2P-Kt; State machine
presentazione di riferimento
page_white_powerpoint Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
evento origine
rivista o collana
book Lecture Notes in Computer Science (LNCS)
progetto finanziatore
wrench AI4EU — A European AI On Demand Platform and Ecosystem (01/01/2019–31/12/2021)
wrench CompuLaw — Computable Law (01/11/2019–31/10/2025)
funge da
pubblicazione di riferimento per presentazione
page_white_powerpoint Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)