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


Giovanni Ciatto  /  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.

Events

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

Publications

Talk

— speakers

— authors

— sort

talk

— language

wgb.gif

Context

JELIA 2021

— where

Klagenfurt, Austria (Online Conference)

— when

17/05/2021

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