d

dsl-solve

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
https://github.com/tuProlog/2p-kt
Apache-2.0
Giovanni Ciatto Enrico Siboni Paolo Verdini Manuel Bonarrigo Sofia Montebugnoli Davide Greco Silvia Lanzoni Lorenzo Rizzato
enriched with kotlin programming unification resolution logic clause storage facilities
Aggregated version Version Update time
0.17 0.17.2-dev03+43981b51 May 17, 2021
0.17.2 May 15, 2021
0.17.1-dev1o+35e72985 May 15, 2021
0.17.1-dev18+089dd410 Apr 22, 2021
0.17.1-dev0z+70805b63 Apr 20, 2021
0.17.1-dev0w+54dd0dd0 Apr 20, 2021
0.17.1-dev0v+25724c0c Apr 19, 2021
0.17.1-dev03+67bb5e23 Apr 01, 2021
0.17.1 Mar 15, 2021
0.17.0 Mar 15, 2021
0.16 0.16.1-dev4z+7e0f0041 Mar 14, 2021
0.16.1-dev4u+b2f05e44 Mar 14, 2021
0.16.1-dev4o+a2fea905 Mar 14, 2021
0.16.1 Jan 19, 2021
0.16.0 Jan 18, 2021
0.15 0.15.2 Dec 18, 2020
0.15.0 Dec 07, 2020
0.14 0.14.11 Oct 28, 2020
0.13 0.13.0 Sep 24, 2020
0.12 0.12.1 Sep 17, 2020
0.12.0 Sep 17, 2020
0.11 0.11.5 Sep 12, 2020
0.11.4 Sep 12, 2020
0.11.3 Sep 10, 2020
0.11.2 Sep 01, 2020
105 Records