Download all versions of unify JAR files with all dependencies
unify from group it.unibo.tuprolog (version 0.31.12)
unify from group it.unibo.tuprolog (version 0.31.11)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.11
Last update 19. July 2023
Tags: terms clauses logic unification
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group it.unibo.tuprolog
Version 0.31.11
Last update 19. July 2023
Tags: terms clauses logic unification
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
unify from group it.unibo.tuprolog (version 0.31.10)
unify from group it.unibo.tuprolog (version 0.31.9)
unify from group it.unibo.tuprolog (version 0.31.8)
unify from group it.unibo.tuprolog (version 0.31.7)
unify from group it.unibo.tuprolog (version 0.31.5-dev0m+0c07eb350)
unify from group it.unibo.tuprolog (version 0.31.5-dev0f+5a2ad7593)
unify from group it.unibo.tuprolog (version 0.31.5-dev0c+d53549ad7)
unify from group it.unibo.tuprolog (version 0.31.5-dev02+b65f8712e)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.5-dev02+b65f8712e
Last update 03. May 2023
Tags: terms clauses logic unification
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group it.unibo.tuprolog
Version 0.31.5-dev02+b65f8712e
Last update 03. May 2023
Tags: terms clauses logic unification
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 3 from 11 (items total 108)