d

dsl-solve-jvm

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
https://github.com/tuProlog/2p-kt
Apache-2.0
Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco
clause with enriched kotlin logic storage unification facilities resolution programming
Aggregated version Version Update time
0.30 0.30.5 Feb 01, 2023
0.30.4 Nov 21, 2022
0.30.3-dev0a+69949374d Nov 20, 2022
0.30.3 Oct 13, 2022
0.30.2-dev0f+259d7b5b Oct 13, 2022
0.30.2-dev08+5b060658 Oct 12, 2022
0.30.2 Sep 26, 2022
0.30.1 Sep 26, 2022
0.30.0-dev01+725eae35 Sep 26, 2022
0.30.0 Sep 23, 2022
0.20 0.20.9-dev0g+63540268 Jul 07, 2022
0.20.9-dev0c+bc6d9512 Jul 06, 2022
0.20.9-dev0a+8e9a240b Jun 23, 2022
0.20.9-dev03+3250bb16 Jun 21, 2022
0.20.9-dev02+01edbfee Jun 20, 2022
0.20.9-dev01+ada92962 Jun 17, 2022
0.20.9 Jun 15, 2022
0.20.7 Jun 02, 2022
0.20.4 Nov 06, 2021
0.20.3 Nov 06, 2021
0.20.2-dev07+51892bb0 Nov 05, 2021
0.20.2 Oct 18, 2021
0.20.1 Sep 06, 2021
0.20.0 Aug 30, 2021
0.19 0.19.0-dev2h+f6956cce Aug 28, 2021
0.19.0 Aug 10, 2021
0.18 0.18.2-dev11+a1bd2a91 Aug 10, 2021
0.18.2-dev0z+13957e4e Aug 07, 2021
0.18.2 Jul 15, 2021
0.18.1-dev05+178b1e2d Jul 15, 2021
0.18.1 Jun 28, 2021
0.18.0 Jun 28, 2021
0.17 0.17.4-dev1q+a89f03d9 Jun 25, 2021
0.17.4-dev1d+a1160f82 Jun 22, 2021
0.17.4-dev0j+7e9a6f28 Jun 16, 2021
0.17.4-dev09+485a46b2 Jun 16, 2021
0.17.3-dev0a+b6708d58 Jun 15, 2021
0.17.3-dev08+7cca0c42 Jun 15, 2021
0.17.4 May 18, 2021
0.17.3 May 18, 2021
105 Records