2P-Kt, DSL-Theory Module

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

License	License Apache-2.0
GroupId	GroupId it.unibo.tuprolog
ArtifactId	ArtifactId dsl-theory-jvm
Last Version	Last Version 0.20.9-dev03+3250bb16
Release Date	Release Date Jun 20, 2022
Type	Type pom.sha512
Description	Description 2P-Kt, DSL-Theory Module Kotlin DSL for logic programming, enriched with unification and clause storage facilities
Project URL	Project URL https://github.com/tuProlog/2p-kt
Source Code Management	Source Code Management https://github.com/tuProlog/2p-kt

Download dsl-theory-jvm

Filename	Size
dsl-theory-jvm-0.20.9-dev03+3250bb16.pom
dsl-theory-jvm-0.20.9-dev03+3250bb16-sources.jar	2 KB
dsl-theory-jvm-0.20.9-dev03+3250bb16-javadoc.jar	8 KB
Browse

Dependencies

compile (4)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.7.0
org.jetbrains.kotlin : kotlin-stdlib-common	jar	1.7.0
it.unibo.tuprolog : dsl-unify-jvm	jar	0.20.9-dev03+3250bb16
it.unibo.tuprolog : theory-jvm	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