2P-Kt -- Module `Unify`

Logic unification for logic terms and clauses

License	Apache-2.0
Categories	Data
GroupId	it.unibo.tuprolog
ArtifactId	unify-metadata
Last Version	0.17.4
Release Date	May 18, 2021
Type	pom.sha512
Description	2P-Kt -- Module `Unify` 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-metadata

Filename	Size
unify-metadata-0.17.4.pom
unify-metadata-0.17.4-sources.jar	7 KB
unify-metadata-0.17.4-javadoc.jar	49 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-common	jar	1.4.32
it.unibo.tuprolog : core-metadata	jar	0.17.4

Project Modules

There are no modules declared in this project.

Versions

Version
0.17.4 May 18, 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