Download all versions of unify JAR files with all dependencies
unify from group it.unibo.tuprolog (version 0.31.5-dev01+75e0f28ea)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.5-dev01+75e0f28ea
Last update 01. 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-dev01+75e0f28ea
Last update 01. 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!
unify from group it.unibo.tuprolog (version 0.31.5)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.5
Last update 30. April 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
Last update 30. April 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.4-dev01+3caf83203)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.4-dev01+3caf83203
Last update 29. April 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.4-dev01+3caf83203
Last update 29. April 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.4)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.4
Last update 29. April 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.4
Last update 29. April 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.3)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.3
Last update 19. April 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.3
Last update 19. April 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.2)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.2
Last update 18. April 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.2
Last update 18. April 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.1-dev02+0cd8a1ae6)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.1-dev02+0cd8a1ae6
Last update 15. February 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.1-dev02+0cd8a1ae6
Last update 15. February 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.1-dev01+f8b39929b)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.1-dev01+f8b39929b
Last update 14. February 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.1-dev01+f8b39929b
Last update 14. February 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.1)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.1
Last update 14. February 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.1
Last update 14. February 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.0)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.31.0
Last update 13. February 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.0
Last update 13. February 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 4 from 3 (items total 108)