Artifacts using 2P Kt, Solve Module (10)

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

Resolution-agnostic API for probabilistic logic solvers

Extension library for logic solvers, enabling IO support in logic programs

Extension library for logic solvers, enabling OOP support in logic programs

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

Umbrella package, depending on all 2P-Kt

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