jar

it.unibo.tuprolog : unify-jvm

Maven & Gradle

Aug 25, 2023
5 usages
86 stars

2P-Kt, Unify Module · Logic unification for logic terms and clauses

Table Of Contents

Latest Version

Download it.unibo.tuprolog : unify-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : unify-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.x
0.18.x
0.17.x
0.16.x
0.15.x
0.14.x
0.13.x
0.12.x
0.11.x
0.10.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window unify-jvm-0.31.13.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.unify

├─ it.unibo.tuprolog.unify.AbstractUnificator.class - [JAR]

├─ it.unibo.tuprolog.unify.CachedUnificator.class - [JAR]

├─ it.unibo.tuprolog.unify.CachedUnificatorKt.class - [JAR]

├─ it.unibo.tuprolog.unify.Equation.class - [JAR]

├─ it.unibo.tuprolog.unify.UnificationUtils.class - [JAR]

├─ it.unibo.tuprolog.unify.Unificator.class - [JAR]

it.unibo.tuprolog.unify.exception

├─ it.unibo.tuprolog.unify.exception.NoUnifyException.class - [JAR]

├─ it.unibo.tuprolog.unify.exception.OccurCheckException.class - [JAR]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
8 usages
86 stars

Discover Dependencies

Mar 22, 2022
2 usages
1 stars
Dec 29, 2022
5 usages
43 stars
Aug 26, 2023
2 usages
11 stars
Sep 16, 2022
2 usages
1.9k stars
Apr 14, 2021
1 usages
1 stars
Aug 31, 2021
3 usages
0 stars
Jun 23, 2022
3 usages
514 stars