Download unify JAR 1.0.4 with all dependencies
Logic unification for logic terms and clauses
Files of the artifact unify version 1.0.4 from the group it.unibo.tuprolog.
Test
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!
The newest version!
Show 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.4
Please wait ...
© 2015 - 2024 Weber Informatics LLC | Privacy Policy