Group: it.unibo.tuprolog - All Dependencies

2P-Kt Full · Umbrella package, depending on all 2P-Kt

2P-Kt, Solver-Concurrent Module · Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

2P-Kt, Solver-Concurrent Module · Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

2P-Kt, Solver-Concurrent Module · Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

2P-Kt, Datalog Module · Datalog-compliant utilities for knowledge representation

2P-Kt, Datalog Module · Datalog-compliant utilities for knowledge representation

2P-Kt, Datalog Module · Datalog-compliant utilities for knowledge representation