Giovanni Ciatto, Roberta Calegari, Andrea Omicini. Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. In Wolfgang Faber 0001, Gerhard Friedrich, Martin Gebser, Michael Morak, editors, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Volume 12678 of Lecture Notes in Computer Science, pages 407-420, Springer, 2021. [doi]
Abstract is missing.