Tag Clouds
Tag Clouds
5 docs / Tag “Prolog” / 2P-Kt
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (talk, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (completed, 12/12/2019) — Enrico Siboni
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (completed, 16/12/2021) — Andrea Giordano
2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
6 docs / Tag “Prolog” / tuProlog
Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog ( , 16/02/2006) — Emanuele Nanetti
Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog (rejected) — Enrico Denti, Andrea Omicini, Mirko Viroli
Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla (completed, 14/12/2004) — Amedeo Simeone
Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (completed, 12/12/2019) — Enrico Siboni