2P-Kt / tuProlog

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

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

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 

2P-Kt / tuProlog Tech & Docs

• 2P-Kt and related packages are released under the Apache 2.0 License via GitHub, Maven Central Repository, NPM
• 2P-Kt source code is freely available at GitHub
• 2P-Kt online documentation is available at GitLab
• 2P-Kt provides a Prolog playground as a web-based application for playing with tuProlog from a web browser.