Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
type: Item
instance of: scholarly article
title: Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
DOI: 10.1007/978-3-030-75775-5_27
author: Giovanni Ciatto
author: Roberta Calegari
author: Andrea Omicini
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7437055
zbMATH Keywords: prolog
zbMATH Keywords: stream processing
zbMATH Keywords: \textsc{2P-Kt}
zbMATH Keywords: state machine
MaRDI profile type: Publication
full work available at URL: 978-3-030-75775-5 27
OpenAlex ID: W3162094021
cites work: LARS: a logic-based framework for analytic reasoning over streams
cites work: Ticker: A system for incremental ASP-based stream reasoning
cites work: The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
cites work: Q5020559
Recommended article: Q5020559
Recommended article: A backtracking algorithm for the stream AND-parallel execution of logic programs
Recommended article: A backward slicing algorithm for Prolog
Recommended article: An improved data-dependency-based backtracking scheme for Prolog
Recommended article: Q3685172
Recommended article: Mathematics of Program Construction
Recommended article: Q4780213
Recommended article: A pragmatic reconstruction of λProlog
Recommended article: Q4218866
description: scientific article; zbMATH DE number 7437055