2P-Kt -- Module `Solve Classic`

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

License	Apache-2.0
Categories	Data
GroupId	it.unibo.tuprolog
ArtifactId	solve-classic-metadata
Last Version	0.17.4
Release Date	May 18, 2021
Type	pom.sha512
Description	2P-Kt -- Module `Solve Classic` Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Project URL	https://github.com/tuProlog/2p-kt
Source Code Management	https://github.com/tuProlog/2p-kt

Download solve-classic-metadata

Filename	Size
solve-classic-metadata-0.17.4.pom
solve-classic-metadata-0.17.4-sources.jar	21 KB
solve-classic-metadata-0.17.4-javadoc.jar	88 KB

Dependencies

compile (3)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-common	jar	1.4.32
it.unibo.tuprolog : solve-metadata	jar	0.17.4
it.unibo.tuprolog : dsl-theory-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