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


Giovanni Ciatto, Roberta Calegari, Andrea Omicini

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

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

@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 {\sc 2P-Kt}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
volume = 12678,
year = 2021}

Presentazioni

Riviste & collane

Eventi

Pubblicazione

— autori/autrici

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

— a cura di

Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Logics in Artificial Intelligence

— collana

Lecture Notes in Computer Science 12678

— data di pubblicazione

2021

— pagine

407-420

— collana

Lecture Notes in Computer Science 12678

— data di pubblicazione

2021

URL & ID

pagina originale
PDF originale

— DOI

10.1007/978-3-030-75775-5_27

— DBLP

conf/jelia/CiattoCO21

BibTeX

— BibTeX ID
2pkt-jelia2021
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY