Download all versions of unify JAR files with all dependencies
unify from group it.unibo.tuprolog (version 0.32.0)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.32.0
Last update 03. January 2024
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.32.0
Last update 03. January 2024
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.21)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.21
Last update 24. December 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.21
Last update 24. December 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.20)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.20
Last update 22. December 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.20
Last update 22. December 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.19)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.19
Last update 09. December 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.19
Last update 09. December 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.18)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.18
Last update 24. October 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.18
Last update 24. October 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.17)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.17
Last update 22. October 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.17
Last update 22. October 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.16)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.16
Last update 13. October 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.16
Last update 13. October 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.15)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.15
Last update 15. September 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.15
Last update 15. September 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.14)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.14
Last update 13. September 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.14
Last update 13. September 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.13)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.13
Last update 25. 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.13
Last update 25. 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!
Page 2 from 11 (items total 108)