Download all versions of unify JAR files with all dependencies
unify from group it.unibo.tuprolog (version 0.31.12)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.12
Last update 18. August 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.12
Last update 18. August 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.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)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.10
Last update 12. 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.10
Last update 12. 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.9)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.9
Last update 08. 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.9
Last update 08. 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.8)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.8
Last update 08. 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.8
Last update 08. 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.7)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.7
Last update 07. 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.7
Last update 07. 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.5-dev0m+0c07eb350)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.5-dev0m+0c07eb350
Last update 07. 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.5-dev0m+0c07eb350
Last update 07. 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.5-dev0f+5a2ad7593)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.5-dev0f+5a2ad7593
Last update 20. June 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-dev0f+5a2ad7593
Last update 20. June 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.5-dev0c+d53549ad7)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.5-dev0c+d53549ad7
Last update 20. June 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-dev0c+d53549ad7
Last update 20. June 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.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 3 (items total 108)