Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}

DOI10.1007/978-3-030-75775-5_27OpenAlexW3162094021MaRDI QIDQ2055817

Giovanni Ciatto, Andrea Omicini, Roberta Calegari

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_27

zbMATH Keywords

state machineprologstream processing\textsc{2P-Kt}

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Fifty Years of Prolog and Beyond

Cites Work

• Unnamed Item
• LARS: a logic-based framework for analytic reasoning over streams
• Ticker: A system for incremental ASP-based stream reasoning
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)

This page was built for publication: Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}