Group: it.unibo.tuprolog - All Dependencies

2P-Kt, DSL-Core Module · Kotlin DSL for knowledge representation via logic programming

2P-Kt, DSL-Core Module · Kotlin DSL for knowledge representation via logic programming

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

2P-Kt, Serialization-Core Module · JSON and YAML serialization support for logic terms and clauses

2P-Kt, Serialization-Core Module · JSON and YAML serialization support for logic terms and clauses

2P-Kt -- Module `Oop Lib` · Extension library for logic solvers, enabling OOP support in logic programs

2P-Kt, OOP Library · Extension library for logic solvers, enabling OOP support in logic programs

2P-Kt, OOP Library · Extension library for logic solvers, enabling OOP support in logic programs

2P-Kt -- Module `Io Lib` · Extension library for logic solvers, enabling IO support in logic programs

2P-Kt, IO Library · Extension library for logic solvers, enabling IO support in logic programs

2P-Kt, IO Library · Extension library for logic solvers, enabling IO support in logic programs

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

Utilities shared among 2P-Kt Modules · Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.

Utilities shared among 2P-Kt Modules · Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.

Utilities shared among 2P-Kt Modules · Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.

2P-Kt, Solve-PLP Module · Resolution-agnostic API for probabilistic logic solvers

2P-Kt, Solve-PLP Module · Resolution-agnostic API for probabilistic logic solvers

2P-Kt, Solve-PLP Module · Resolution-agnostic API for probabilistic logic solvers

2P-Kt -- Module `Solve Streams` · Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

2P-Kt, Solve-Streams Module · Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

2P-Kt, Solve-Streams Module · Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

2P-Kt, Solve-Streams Module · Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

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

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