tuProlog (2P for short) is a logic programming framework supporting multi-paradigm programming via a seamless, orthogonal, and bidirectional integration between the logic and object-oriented paradigms
2P-Kt (tuProlog in Kotlin) is a reboot of the tuProlog project based on Kotlin aimed at providing for a general, extensible, and interoperable ecosystem for logic programming and artificial intelligence

tuProlog / 2P-Kt 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 

2P-Kt is

  •  the current implementation of tuProlog in Kotlin targetting JVM, JS (both server- and browser-side), and Android platforms 
  •  ultimately aimed at providing intelligent systems engineers with a general-purpose, extensible, open ecosystem for symbolic AI 

tuProlog / 2P-Kt 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.




tuProlog is an open source technology released under the Apache 2.0 License

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