Group: it.unibo.tuprolog - All Dependencies

2P-Kt, REPL Module · Customisable, command-line interface for logic solvers

2P-Kt, REPL Module · Customisable, command-line interface for logic solvers

2P-Kt, Usage Examples · Collection of usage examples for 2P-Kt

2P-Kt -- Module `Serialize Theory` · Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android

2P-Kt, Serialization-Theory Module · JSON and YAML serialization support for logic theories

2P-Kt, Serialization-Theory Module · JSON and YAML serialization support for logic theories

2P-Kt, Serialization-Theory Module · JSON and YAML serialization support for logic theories

2P-Kt -- Module `Dsl Solve` · Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

2P-Kt, DSL-Solve Module · Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

2P-Kt, DSL-Solve Module · Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

2P-Kt, DSL-Solve Module · Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

2P-Kt, Solve-Problog Module · State-machine-based implementation of ProbLog

2P-Kt, Solve-Problog Module · State-machine-based implementation of ProbLog

2P-Kt, Probabilistic Logic Programming IDE Module · Customisable, JavaFX-based GUI for probabilistic logic solvers

2P-Kt -- Module `Test Solve` · Common testing facilities for 2P-Kt-based logic solvers

2P-Kt, Test-Solve Module · Common testing facilities for 2P-Kt-based logic solvers

2P-Kt, Test-Solve Module · Common testing facilities for 2P-Kt-based logic solvers

2P-Kt, Test-Solve Module · Common testing facilities for 2P-Kt-based logic solvers

2P-Kt -- Module `2P-Kt` · Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android

2P-Kt · Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android

2P-Kt · Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android

2P-Kt · Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android

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

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