Download all versions of unify JAR files with all dependencies
unify from group it.unibo.tuprolog (version 1.0.4)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 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 1.0.4
Last update 26. May 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 1.0.3)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 1.0.3
Last update 10. May 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 1.0.3
Last update 10. May 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 1.0.2)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 1.0.2
Last update 05. May 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 1.0.2
Last update 05. May 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 1.0.1)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 1.0.1
Last update 06. April 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 1.0.1
Last update 06. April 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 1.0.0)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 1.0.0
Last update 30. March 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 1.0.0
Last update 30. March 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.32.5)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.32.5
Last update 24. March 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.5
Last update 24. March 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.32.4)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.32.4
Last update 24. March 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.4
Last update 24. March 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.32.3)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.32.3
Last update 24. March 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.3
Last update 24. March 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.32.2)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.32.2
Last update 22. March 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.2
Last update 22. March 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.32.1)
Logic unification for logic terms and clauses
Artifact unify
Group it.unibo.tuprolog
Version 0.32.1
Last update 09. February 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.1
Last update 09. February 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!
Page 1 from 11 (items total 108)