Last modified by Andrea Omicini on 11/12/2020 22:40

tuProlog  Home

tuProlog (2P for short) is a logic programming framework supporting multi-paradigm programming via a clean, seamless, and bidirectional integration between the logic and object-oriented paradigms.

tuProlog Tidbits

tuProlog is
  •  a light-weight Prolog system for desktop, web, or mobile applications 
  •  designed around a minimal, layered core, to be configured via libraries either statically or dynamically 
  •  an object-oriented library of reusable logic programming software, which can be exploited by most mainstream programming frameworks and platforms 
  •  an open source technology released under the Apache 2.0 License 
  •  currently implemented in Kotlin (2P-Kt) targetting JVM, JS (both server- and browser-side), and Android platforms 
  •  ultimately aimed at providing intelligent systems engineers with a general-purpose, open ecosystem for symbolic AI 

tuProlog Tech & Docs

If you meet any issue with 2P-Kt please open an issue on the GitLab Issues page.

Previous releases of 2P (Java-based) and related packages are not actively developed anymore, yet they are still available via the Previous Downloads page.


Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY