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

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Logics in Artificial Intelligence, pages 407-420
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 12678, 2021
Springer
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak (eds.)
17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings

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.

(keywords) Prolog; Stream processing; 2P-Kt; State machine

@incollection{2pkt-jelia2021,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {Logics in Artificial Intelligence},
doi = {10.1007/978-3-030-75775-5_27},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
keywords = {Prolog; Stream processing; 2P-Kt; State machine},
note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
pages = {407--420},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of {{\sf 2}P-{\sc Kt}}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
volume = 12678,
year = 2021}