Artifacts using 2P Kt, DSL Theory Module (9)

Sort by:Popular▼

✓Popular✓Newest

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

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

A Kotlin internal DSL for the definition of BDI agents

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

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

Collection of usage examples for 2P-Kt

Umbrella package, depending on all 2P-Kt

Common testing facilities for 2P-Kt-based logic solvers