2P-Kt, Unify Module

Logic unification for logic terms and clauses

License

License

GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

unify
Last Version

Last Version

0.20.9-dev03+3250bb16
Release Date

Release Date

Type

Type

pom
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

How to add to project

<!-- https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/ -->
<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>unify</artifactId>
    <version>0.20.9-dev03+3250bb16</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/
implementation 'it.unibo.tuprolog:unify:0.20.9-dev03+3250bb16'
// https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/
implementation ("it.unibo.tuprolog:unify:0.20.9-dev03+3250bb16")
'it.unibo.tuprolog:unify:pom:0.20.9-dev03+3250bb16'
<dependency org="it.unibo.tuprolog" name="unify" rev="0.20.9-dev03+3250bb16">
  <artifact name="unify" type="pom" />
</dependency>
@Grapes(
@Grab(group='it.unibo.tuprolog', module='unify', version='0.20.9-dev03+3250bb16')
)
libraryDependencies += "it.unibo.tuprolog" % "unify" % "0.20.9-dev03+3250bb16"
[it.unibo.tuprolog/unify "0.20.9-dev03+3250bb16"]

Dependencies

runtime (2)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.7.0
it.unibo.tuprolog : core 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