2P-Kt, Unify Module

Logic unification for logic terms and clauses

License	Apache-2.0
GroupId	it.unibo.tuprolog
ArtifactId	unify
Last Version	0.20.9-dev03+3250bb16
Release Date	Jun 20, 2022
Type	pom
Description	2P-Kt, Unify Module Logic unification for logic terms and clauses
Project URL	https://github.com/tuProlog/2p-kt
Source Code Management	https://github.com/tuProlog/2p-kt

Download unify

Filename	Size
unify-0.20.9-dev03+3250bb16.pom

How to add to project

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/
implementation 'it.unibo.tuprolog:unify:0.20.9-dev03+3250bb16'

Gradle Kotlin

// https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/
implementation ("it.unibo.tuprolog:unify:0.20.9-dev03+3250bb16")

Apache Buildr

'it.unibo.tuprolog:unify:pom:0.20.9-dev03+3250bb16'

Apache Ivy

<dependency org="it.unibo.tuprolog" name="unify" rev="0.20.9-dev03+3250bb16">
  <artifact name="unify" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='it.unibo.tuprolog', module='unify', version='0.20.9-dev03+3250bb16')
)

Scala SBT

libraryDependencies += "it.unibo.tuprolog" % "unify" % "0.20.9-dev03+3250bb16"

Leiningen

[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 Jun 20, 2022
0.20.9-dev02+01edbfee Jun 20, 2022
0.20.9-dev01+ada92962 Jun 16, 2022
0.20.9-dev0a+8e9a240b Jun 22, 2022
0.20.9 Jun 14, 2022
0.20.7 Jun 2, 2022
0.20.4 Nov 6, 2021
0.20.3 Nov 5, 2021
0.20.2-dev07+51892bb0 Nov 5, 2021
0.20.2 Oct 18, 2021
0.20.1 Sep 6, 2021
0.20.0 Aug 30, 2021
0.19.0-dev2h+f6956cce Aug 27, 2021
0.19.0 Aug 9, 2021
0.18.2-dev11+a1bd2a91 Aug 9, 2021
0.18.2-dev0z+13957e4e Aug 6, 2021
0.18.2 Jul 15, 2021
0.18.1-dev05+178b1e2d Jul 14, 2021
0.18.1 Jun 28, 2021
0.18.0 Jun 28, 2021
0.17.4-dev09+485a46b2 Jun 15, 2021
0.17.4-dev1q+a89f03d9 Jun 25, 2021
0.17.4-dev1d+a1160f82 Jun 21, 2021
0.17.4-dev0j+7e9a6f28 Jun 16, 2021
0.17.4 May 18, 2021
0.17.3-dev08+7cca0c42 Jun 15, 2021
0.17.3-dev0a+b6708d58 Jun 15, 2021
0.17.3 May 18, 2021
0.17.2-dev03+43981b51 May 17, 2021
0.17.2 May 15, 2021
0.17.1-dev18+089dd410 Apr 22, 2021
0.17.1-dev03+67bb5e23 Apr 1, 2021
0.17.1-dev1o+35e72985 May 15, 2021
0.17.1-dev0z+70805b63 Apr 20, 2021
0.17.1-dev0w+54dd0dd0 Apr 19, 2021
0.17.1-dev0v+25724c0c Apr 19, 2021
0.17.1 Mar 15, 2021
0.17.0 Mar 14, 2021
0.16.1-dev4z+7e0f0041 Mar 14, 2021
0.16.1-dev4u+b2f05e44 Mar 13, 2021
0.16.1-dev4o+a2fea905 Mar 13, 2021
0.16.1 Jan 19, 2021
0.16.0 Jan 17, 2021
0.15.2 Dec 17, 2020
0.15.0 Dec 7, 2020
0.14.11 Oct 27, 2020
0.13.0 Sep 24, 2020
0.12.1 Sep 17, 2020
0.12.0 Sep 16, 2020
0.11.5 Sep 12, 2020
0.11.4 Sep 11, 2020
0.11.3 Sep 10, 2020
0.11.2 Aug 31, 2020
0.11.1 Jul 7, 2020
0.11.0 Jul 2, 2020
0.10.2 Jun 13, 2020