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

Last modified by Andrea Omicini on 16/04/2021 09:09

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

The ability of lazily manipulating 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.

JELIA 2021, 2021.
Wolfgang Faber, Gerhard Friedrich, Martin Gebser (eds.)
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {JELIA 2021},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of {\sc 2P-Kt}},
year = 2021}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna