JarCasting
JarCasting JarCasting

Project Group: it.unibo.tuprolog

Utilities shared among 2P-Kt Modules

 it.unibo.tuprolog : utils-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Utilities shared among 2P-Kt Modules

 it.unibo.tuprolog : utils-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Utilities shared among 2P-Kt Modules

 it.unibo.tuprolog : utils

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Solve Module

 it.unibo.tuprolog : dsl-solve-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Solve Module

 it.unibo.tuprolog : dsl-solve-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Solve Module

 it.unibo.tuprolog : dsl-solve

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Probabilistic Logic Programming IDE Module

 it.unibo.tuprolog : ide-plp

Customisable, JavaFX-based GUI for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, REPL Module

 it.unibo.tuprolog : repl-js

Customisable, command-line interface for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, REPL Module

 it.unibo.tuprolog : repl-jvm

Customisable, command-line interface for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, REPL Module

 it.unibo.tuprolog : repl

Customisable, command-line interface for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Theory Module

 it.unibo.tuprolog : serialize-theory-js

JSON and YAML serialization support for logic theories

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Theory Module

 it.unibo.tuprolog : serialize-theory-jvm

JSON and YAML serialization support for logic theories

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Theory Module

 it.unibo.tuprolog : serialize-theory

JSON and YAML serialization support for logic theories

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solver-Concurrent Module

 it.unibo.tuprolog : solve-concurrent-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solver-Concurrent Module

 it.unibo.tuprolog : solve-concurrent

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Problog Module

 it.unibo.tuprolog : solve-problog-js

State-machine-based implementation of ProbLog

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Problog Module

 it.unibo.tuprolog : solve-problog

State-machine-based implementation of ProbLog

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Streams Module

 it.unibo.tuprolog : solve-streams-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Streams Module

 it.unibo.tuprolog : solve-streams-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Streams Module

 it.unibo.tuprolog : solve-streams

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt

 it.unibo.tuprolog : 2p-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt

 it.unibo.tuprolog : 2p-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt

 it.unibo.tuprolog : 2p

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Usage Examples

 it.unibo.tuprolog : examples

Collection of usage examples for 2P-Kt

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt Full

 it.unibo.tuprolog : full-js

Umbrella package, depending on all 2P-Kt

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt Full

 it.unibo.tuprolog : full-jvm

Umbrella package, depending on all 2P-Kt

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt Full

 it.unibo.tuprolog : full

Umbrella package, depending on all 2P-Kt

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt -- Module `Test Solve`

 it.unibo.tuprolog : test-solve-js

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

Last Version: 0.20.4

Release Date:

2P-Kt -- Module `Test Solve`

 it.unibo.tuprolog : test-solve-jvm

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

Last Version: 0.20.4

Release Date:

2P-Kt -- Module `Test Solve`

 it.unibo.tuprolog : test-solve

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

Last Version: 0.20.4

Release Date:

2P-Kt -- Module `Core`

 it.unibo.tuprolog : core-metadata

Knowlege representation via logic terms and clauses

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Solve`

 it.unibo.tuprolog : solve-metadata

Resolution-agnostic API for logic solvers

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Dsl Theory`

 it.unibo.tuprolog : dsl-theory-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Theory`

 it.unibo.tuprolog : theory-metadata

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Unify`

 it.unibo.tuprolog : unify-metadata

Logic unification for logic terms and clauses

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Parser Theory`

 it.unibo.tuprolog : parser-theory-metadata

Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Solve Classic`

 it.unibo.tuprolog : solve-classic-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Dsl Core`

 it.unibo.tuprolog : dsl-core-metadata

Kotlin DSL for knowledge representation via logic programming

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Dsl Unify`

 it.unibo.tuprolog : dsl-unify-metadata

Kotlin DSL for logic programming, enriched with unification facilities

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Io Lib`

 it.unibo.tuprolog : io-lib-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Oop Lib`

 it.unibo.tuprolog : oop-lib-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Parser Core`

 it.unibo.tuprolog : parser-core-metadata

Parsing facilities for logic terms and clauses out of Prolog standard syntax

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Serialize Core`

 it.unibo.tuprolog : serialize-core-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Utils`

 it.unibo.tuprolog : utils-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Dsl Solve`

 it.unibo.tuprolog : dsl-solve-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Repl`

 it.unibo.tuprolog : repl-metadata

Customisable, command-line interface for logic solvers

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Serialize Theory`

 it.unibo.tuprolog : serialize-theory-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Solve Streams`

 it.unibo.tuprolog : solve-streams-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `2P-Kt`

 it.unibo.tuprolog : 2p-metadata

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

Last Version: 0.17.4

Release Date:

2P-Kt -- Module `Test Solve`

 it.unibo.tuprolog : test-solve-metadata

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

Last Version: 0.17.4

Release Date: