Artifacts using 2P Kt, Unify Module (6)

Sort by:Popular▼

✓Popular✓Newest

Resolution-agnostic API for logic solvers

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

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

Kotlin DSL for logic programming, enriched with unification facilities

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

Umbrella package, depending on all 2P-Kt