Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
 |
 |
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {Logics in Artificial Intelligence},
dblp = {conf/jelia/CiattoCO21},
doi = {10.1007/978-3-030-75775-5_27},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
iris = {11585/838787},
keywords = {Prolog; Stream processing; 2P-Kt; State machine},
note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
numpages = 14,
pages = {407--420},
publisher = {Springer},
scholar = {10383616383578677634},
scopus = {2-s2.0-85111134199},
semanticscholar = {234475670},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
volume = 12678,
year = 2021
}