Download it.unibo.tuprolog JAR files with all dependencies

serialize-theory-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: serialize-theory-metadata
Show all versions Show documentation Show source

0 downloads

Artifact serialize-theory-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, theory-metadata, serialize-core-metadata,
There are maybe transitive dependencies!

serialize-core-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: serialize-core-metadata
Show all versions Show documentation Show source

0 downloads

Artifact serialize-core-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 2
Dependencies kotlin-stdlib-common, core-metadata,
There are maybe transitive dependencies!

repl-metadata from group it.unibo.tuprolog (version 0.17.4)

Customisable, command-line interface for logic solvers

Group: it.unibo.tuprolog Artifact: repl-metadata
Show all versions Show documentation Show source

0 downloads

Artifact repl-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 7
Dependencies kotlin-stdlib-common, clikt-metadata, core-metadata, oop-lib-metadata, io-lib-metadata, solve-classic-metadata, parser-theory-metadata,
There are maybe transitive dependencies!

parser-theory-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: parser-theory-metadata
Show all versions Show documentation Show source

0 downloads

Artifact parser-theory-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 5
Dependencies kotlin-stdlib-common, core-metadata, unify-metadata, theory-metadata, parser-core-metadata,
There are maybe transitive dependencies!

parser-core-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: parser-core-metadata
Show all versions Show documentation Show source

0 downloads

Artifact parser-core-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 2
Dependencies kotlin-stdlib-common, core-metadata,
There are maybe transitive dependencies!

oop-lib-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: oop-lib-metadata
Show all versions Show documentation Show source

0 downloads

Artifact oop-lib-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, kotlin-reflect, solve-metadata,
There are maybe transitive dependencies!

io-lib-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: io-lib-metadata
Show all versions Show documentation Show source

0 downloads

Artifact io-lib-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, solve-metadata, parser-theory-metadata,
There are maybe transitive dependencies!

dsl-unify-metadata from group it.unibo.tuprolog (version 0.17.4)

Kotlin DSL for logic programming, enriched with unification facilities

Group: it.unibo.tuprolog Artifact: dsl-unify-metadata
Show all versions Show documentation Show source

0 downloads

Artifact dsl-unify-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, dsl-core-metadata, unify-metadata,
There are maybe transitive dependencies!

dsl-theory-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: dsl-theory-metadata
Show all versions Show documentation Show source

0 downloads

Artifact dsl-theory-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, dsl-unify-metadata, theory-metadata,
There are maybe transitive dependencies!

dsl-solve-metadata from group it.unibo.tuprolog (version 0.17.4)

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

Group: it.unibo.tuprolog Artifact: dsl-solve-metadata
Show all versions Show documentation Show source

0 downloads

Artifact dsl-solve-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, dsl-theory-metadata, solve-classic-metadata,
There are maybe transitive dependencies!

Page 10 from 11 (items total 103)