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

Giovanni Ciatto, Roberta Calegari, Andrea Omicini (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics