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

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

Andrea Omicini, Giovanni Ciatto, 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 machine; prolog; stream processing; \textsc{2P-Kt}

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence