CompuLaw

 Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini

 Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)

 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

 Probabilistic logic programming in 2P-Kt (paper in proceedings, 2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto

 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini