Artifacts using 2P Kt, Theory Module (7)

Sort by:Popular▼

✓Popular✓Newest

Resolution-agnostic API for logic solvers

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

JSON and YAML serialization support for logic theories

Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android

Datalog-compliant utilities for knowledge representation

Umbrella package, depending on all 2P-Kt