tuProlog

Popular repositories Loading

1. 2p-kt 2p-kt Public

   A Kotlin Multi-Platform ecosystem for symbolic AI

   Kotlin 117 21

2. arg2p-kt arg2p-kt Public

   An implementation of the ASPIC+ framework for structured argumentation.

   Kotlin 14 1

3. arg2p arg2p Public

   Java 5

4. prolog-dsl-example prolog-dsl-example Public

   Kotlin 3

5. 2p-kt-playground 2p-kt-playground Public

   Web-based Playground for 2P-Kt

   JavaScript 3

6. 2ppy 2ppy Public

   2PPy brings tuProlog (2P-Kt) to Python: logic terms, unification, theories, Prolog and ProbLog solvers, predicates written in Python, and Prolog code driving Python objects, through a Pythonic API …

   Python 2 3