All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download all versions of unify JAR files with all dependencies


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

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.5)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.5
    Last update 01. 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.30.4)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.4)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.4
    Last update 20. November 2022
    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.30.3-dev0a+69949374d)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.3-dev0a+69949374d)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.3-dev0a+69949374d
    Last update 20. November 2022
    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.30.3)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.3)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.3
    Last update 12. October 2022
    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.30.2-dev0f+259d7b5b)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.2-dev0f+259d7b5b)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.2-dev0f+259d7b5b
    Last update 12. October 2022
    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.30.2-dev08+5b060658)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.2-dev08+5b060658)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.2-dev08+5b060658
    Last update 12. October 2022
    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.30.2)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.2)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.2
    Last update 26. September 2022
    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.30.1)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.1)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.1
    Last update 26. September 2022
    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.30.0-dev01+725eae35)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.0-dev01+725eae35)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.0-dev01+725eae35
    Last update 26. September 2022
    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.30.0)

    Logic unification for logic terms and clauses

    Group: it.unibo.tuprolog Artifact: unify
    Show documentation Show source 
    Download unify.jar (0.30.0)
     

    0 downloads
    Artifact unify
    Group it.unibo.tuprolog
    Version 0.30.0
    Last update 23. September 2022
    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 5 from 11 (items total 108)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy