JarCasting
JarCasting JarCasting

Project Group: it.unibo.tuprolog

2P-Kt, Core Module

 it.unibo.tuprolog : core-js

Knowlege representation via logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Core Module

 it.unibo.tuprolog : core-jvm

Knowlege representation via logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Core Module

 it.unibo.tuprolog : core

Knowlege representation via logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve Module

 it.unibo.tuprolog : solve-js

Resolution-agnostic API for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve Module

 it.unibo.tuprolog : solve-jvm

Resolution-agnostic API for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve Module

 it.unibo.tuprolog : solve

Resolution-agnostic API for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Classic Module

 it.unibo.tuprolog : solve-classic-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Theory Module

 it.unibo.tuprolog : dsl-theory-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Theory Module

 it.unibo.tuprolog : parser-theory-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Theory Module

 it.unibo.tuprolog : dsl-theory-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Theory Module

 it.unibo.tuprolog : theory-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Classic Module

 it.unibo.tuprolog : solve-classic-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Theory Module

 it.unibo.tuprolog : theory-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Theory Module

 it.unibo.tuprolog : theory

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Unify Module

 it.unibo.tuprolog : unify-js

Logic unification for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Unify Module

 it.unibo.tuprolog : unify-jvm

Logic unification for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Unify Module

 it.unibo.tuprolog : unify

Logic unification for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Theory Module

 it.unibo.tuprolog : dsl-theory

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, IO Library

 it.unibo.tuprolog : io-lib-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, OOP Library

 it.unibo.tuprolog : oop-lib-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Theory Module

 it.unibo.tuprolog : parser-theory-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Classic Module

 it.unibo.tuprolog : solve-classic

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Binary Decision Diagrams Library

 it.unibo.tuprolog : bdd-js

Multi-platform library for representing and manipulating Binary Decision Diagrams

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Binary Decision Diagrams Library

 it.unibo.tuprolog : bdd-jvm

Multi-platform library for representing and manipulating Binary Decision Diagrams

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Binary Decision Diagrams Library

 it.unibo.tuprolog : bdd

Multi-platform library for representing and manipulating Binary Decision Diagrams

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, IDE Module

 it.unibo.tuprolog : ide

Customisable, JavaFX-based GUI for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Core Module

 it.unibo.tuprolog : parser-core-jvm

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-JVM Module

 it.unibo.tuprolog : parser-jvm

Internal, JVM-specific implementation of a Prolog syntax parser supporting dynamic operators definition

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Theory Module

 it.unibo.tuprolog : parser-theory

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Core Module

 it.unibo.tuprolog : serialize-core-jvm

JSON and YAML serialization support for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Problog Module

 it.unibo.tuprolog : solve-problog-jvm

State-machine-based implementation of ProbLog

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Core Module

 it.unibo.tuprolog : dsl-core-js

Kotlin DSL for knowledge representation via logic programming

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Core Module

 it.unibo.tuprolog : dsl-core-jvm

Kotlin DSL for knowledge representation via logic programming

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Core Module

 it.unibo.tuprolog : dsl-core

Kotlin DSL for knowledge representation via logic programming

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Unify Module

 it.unibo.tuprolog : dsl-unify-js

Kotlin DSL for logic programming, enriched with unification facilities

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Unify Module

 it.unibo.tuprolog : dsl-unify-jvm

Kotlin DSL for logic programming, enriched with unification facilities

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, DSL-Unify Module

 it.unibo.tuprolog : dsl-unify

Kotlin DSL for logic programming, enriched with unification facilities

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, IO Library

 it.unibo.tuprolog : io-lib-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, IO Library

 it.unibo.tuprolog : io-lib

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, OOP Library

 it.unibo.tuprolog : oop-lib-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, OOP Library

 it.unibo.tuprolog : oop-lib

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Core Module

 it.unibo.tuprolog : parser-core-js

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Core Module

 it.unibo.tuprolog : parser-core

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

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-JS Module

 it.unibo.tuprolog : parser-js

Internal, JS-specific implementation of a Prolog syntax parser supporting dynamic operators definition

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Core Module

 it.unibo.tuprolog : serialize-core-js

JSON and YAML serialization support for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Core Module

 it.unibo.tuprolog : serialize-core

JSON and YAML serialization support for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solver-Concurrent Module

 it.unibo.tuprolog : solve-concurrent-jvm

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-PLP Module

 it.unibo.tuprolog : solve-plp-js

Resolution-agnostic API for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-PLP Module

 it.unibo.tuprolog : solve-plp-jvm

Resolution-agnostic API for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-PLP Module

 it.unibo.tuprolog : solve-plp

Resolution-agnostic API for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date: