Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

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]

@inproceedings{CiattoCO21,
  title = {Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt},
  author = {Giovanni Ciatto and Roberta Calegari and Andrea Omicini},
  year = {2021},
  doi = {10.1007/978-3-030-75775-5_27},
  url = {https://doi.org/10.1007/978-3-030-75775-5_27},
  researchr = {https://researchr.org/publication/CiattoCO21},
  cites = {0},
  citedby = {0},
  pages = {407-420},
  booktitle = {Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings},
  editor = {Wolfgang Faber 0001 and Gerhard Friedrich and Martin Gebser and Michael Morak},
  volume = {12678},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-75775-5},
}