Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
From MaRDI portal
Publication:2055817
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
68T27: Logic in artificial intelligence