2P-Kt¶
tuProlog (2P) is a multi-paradigm logic programming framework originally written in Java. 2P-Kt is a Kotlin-based, multi-platform (JVM, JS, and beyond) reboot of 2P: an open ecosystem for Symbolic Artificial Intelligence, built as a set of incrementally inter-dependent modules for symbolic manipulation and reasoning.
This documentation follows the Divio system: pick the section that matches what you're trying to do.
- Tutorials — learn 2P-Kt from scratch, step by step.
- How-to guides — recipes for a specific task.
- Reference — technical description of modules and APIs, including the generated API reference.
- Explanation — the rationale and design behind 2P-Kt.