All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of unify JAR files with all dependencies

Search JAR files by class name

unify from group it.unibo.tuprolog (version 1.0.4)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 1.0.3)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 1.0.2)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 1.0.1)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 1.0.0)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 0.32.5)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 0.32.4)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 0.32.3)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 0.32.2)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!

unify from group it.unibo.tuprolog (version 0.32.1)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show documentation Show source 
 

0 downloads
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!



Page 1 from 3 (items total 108)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy