Tag Clouds
Tag Clouds
5
documents
/
tag : Prolog
/
2P-Kt
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 (12/12/2019) — Enrico Siboni Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (16/12/2021) — Andrea Giordano 
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
6
documents
/
tag : Prolog
/
tuProlog
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) — Enrico Siboni Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog (publications.class_sort_, ) — Enrico Denti, Andrea Omicini, Mirko Viroli Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (16/02/2006) — Emanuele Nanetti Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla (14/12/2004) — Amedeo Simeone Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci