JarCasting
JarCasting JarCasting

2P-Kt, Unify Module

Logic unification for logic terms and clauses

License

License
GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

unify-jvm
Last Version

Last Version

0.20.9-dev03+3250bb16
Release Date

Release Date
Type

Type

pom.sha512
Description

Description

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

Project URL

https://github.com/tuProlog/2p-kt
Source Code Management

Source Code Management

https://github.com/tuProlog/2p-kt

Download unify-jvm

Filename Size
unify-jvm-0.20.9-dev03+3250bb16.pom
unify-jvm-0.20.9-dev03+3250bb16-sources.jar 7 KB
unify-jvm-0.20.9-dev03+3250bb16-javadoc.jar 49 KB
Browse

Dependencies

compile (3)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.7.0
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.7.0
it.unibo.tuprolog : core-jvm jar 0.20.9-dev03+3250bb16

Project Modules

There are no modules declared in this project.

Versions

Version
0.20.9-dev03+3250bb16
0.20.9-dev02+01edbfee
0.20.9-dev01+ada92962
0.20.9-dev0a+8e9a240b
0.20.9
0.20.7
0.20.4
0.20.3
0.20.2-dev07+51892bb0
0.20.2
0.20.1
0.20.0
0.19.0-dev2h+f6956cce
0.19.0
0.18.2-dev11+a1bd2a91
0.18.2-dev0z+13957e4e
0.18.2
0.18.1-dev05+178b1e2d
0.18.1
0.18.0
0.17.4-dev09+485a46b2
0.17.4-dev1q+a89f03d9
0.17.4-dev1d+a1160f82
0.17.4-dev0j+7e9a6f28
0.17.4
0.17.3-dev08+7cca0c42
0.17.3-dev0a+b6708d58
0.17.3
0.17.2-dev03+43981b51
0.17.2
0.17.1-dev18+089dd410
0.17.1-dev03+67bb5e23
0.17.1-dev1o+35e72985
0.17.1-dev0z+70805b63
0.17.1-dev0w+54dd0dd0
0.17.1-dev0v+25724c0c
0.17.1
0.17.0
0.16.1-dev4z+7e0f0041
0.16.1-dev4u+b2f05e44
0.16.1-dev4o+a2fea905
0.16.1
0.16.0
0.15.2
0.15.0
0.14.11
0.13.0
0.12.1
0.12.0
0.11.5
0.11.4
0.11.3
0.11.2
0.11.1
0.11.0
0.10.2