Artifacts using 2P Kt, Core Module (10)

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

Logic unification for logic terms and clauses

Parsing facilities for logic terms and clauses out of Prolog standard syntax

Kotlin DSL for knowledge representation via logic programming

JSON and YAML serialization support for logic terms and clauses

Customisable, command-line interface for logic solvers

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

Umbrella package, depending on all 2P-Kt