Download unify JAR 1.0.1 with all dependencies
Logic unification for logic terms and clauses
Files of the artifact unify version 1.0.1 from the group it.unibo.tuprolog.
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!
There is a newer version: 1.0.4
Show newest versionShow all versions of unify Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of unify version 1.0.1
Please wait ...