Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
English
What's New
Wiki Index
Eng
Ita
Search
2P-Kt / tuProlog
Tag Clouds
Tag Clouds
Tag Clouds
3 documents / tag : logic programming / 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: logic programming with objects & functions in Kotlin
(paper in proceedings, 2020) —
Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Web Server per l’utilizzo di Solver di Logic Programming
—
Lorenzo Osimani
[
tag cloud / 2P-Kt
]
13 documents / tag : logic programming / tuProlog
Logic Programming as a Service (LPaaS): Intelligence for the IoT
(paper in proceedings, 2017) —
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog
(paper in proceedings, 2016) —
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Web Server per l’utilizzo di Solver di Logic Programming
—
Lorenzo Osimani
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
(24/07/2017) —
Alberto Sita
Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog
(publications.class_sort_, ) —
Enrico Denti, Andrea Omicini, Mirko Viroli
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
(article in journal, 2018) —
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
(paper in proceedings, 2019) —
Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
tuProlog: Making Prolog Ubiquitous
(article in journal, 2013) —
Enrico Denti, Andrea Omicini, Roberta Calegari
Labelled Variables in Logic Programming: Foundations
(paper in proceedings, 2016) —
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Multi-paradigm Java-Prolog Integration in tuProlog
(article in journal, 2005) —
Enrico Denti, Andrea Omicini, Alessandro Ricci
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
(paper in proceedings, 2018) —
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
The Architecture and Design of a Malleable Object-Oriented Prolog Engine
(paper in proceedings, 2008) —
Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
(22/07/2020) —
Riccardo Varotto
[
tag cloud / tuProlog
]
tuProlog
home
•
publications
•
talks
•
tags
•
people
•
documents
•
downloads
•
licenza
•
contacts
•
resources
•
related
tuProlog / Resources
downloads
GitHub
•
Maven Central
•
Bintray
•
NPM
•
Latest JVM release
sources
GitHub
•
GitLab
social
FaceBook
tuProlog / Related
Arg
2
P
•
LPaaS
•
ReSpecT
•
TuCSoN
tuProlog / Licenza
tu
Prolog is an open source technology released under the
Apache 2.0 License