Artifacts using 2P Kt, Core Module (11)

Sort by:Popular▼

✓Popular✓Newest

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

Resolution-agnostic API for logic solvers

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

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

A Kotlin internal DSL for the definition of BDI agents

Customisable, command-line interface for logic solvers

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