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.

Tags:
    

Logo

License

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

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