2P-Kt -- Module `Solve Classic`

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

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

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