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

pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak (eds.)
“Logics in Artificial Intelligence”, pages 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.

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

17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings

Talks

Journals & Series

Events

  • 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021) — 17/05/2021–20/05/2021

Publication

— authors

— editors

Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak

— status

published

— sort

paper in proceedings

— publication date

2021

— volume

Logics in Artificial Intelligence

— series

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

— volume

12678

— pages

407–420

— number of pages

14

URLs

original page  |  original PDF

identifiers

— DOI

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

— DBLP

conf/jelia/CiattoCO21

— IRIS

11585/838787

— Scholar

10383616383578677634

— Scopus

2-s2.0-85111134199

notes

— note

17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY