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 (Document “Theses.NanettiLabelledtheories06” does not contain a “Thesis” object, 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