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 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
1.0 1.0.4 May 27, 2024
1.0.3 May 10, 2024
1.0.2 May 05, 2024
1.0.1 Apr 07, 2024
1.0.0 Mar 30, 2024
0.32 0.32.5 Mar 24, 2024
0.32.4 Mar 24, 2024
0.32.3 Mar 24, 2024
0.32.2 Mar 23, 2024
0.32.1 Feb 09, 2024
0.32.0 Jan 03, 2024
0.31 0.31.21 Dec 24, 2023
0.31.20 Dec 23, 2023
0.31.19 Dec 09, 2023
0.31.18 Oct 24, 2023
0.31.17 Oct 23, 2023
0.31.16 Oct 13, 2023
0.31.15 Sep 15, 2023
0.31.14 Sep 13, 2023
0.31.13 Aug 25, 2023
0.31.12 Aug 19, 2023
0.31.11 Jul 19, 2023
0.31.10 Jul 13, 2023
0.31.9 Jul 08, 2023
0.31.8 Jul 08, 2023
0.31.7 Jul 08, 2023
0.31.5-dev0m+0c07eb350 Jul 07, 2023
0.31.5-dev0f+5a2ad7593 Jun 20, 2023
0.31.5-dev0c+d53549ad7 Jun 20, 2023
0.31.5-dev02+b65f8712e May 04, 2023
0.31.5-dev01+75e0f28ea May 01, 2023
0.31.5 Apr 30, 2023
0.31.4-dev01+3caf83203 Apr 30, 2023
0.31.4 Apr 30, 2023
0.31.3 Apr 19, 2023
0.31.2 Apr 19, 2023
0.31.1-dev02+0cd8a1ae6 Feb 15, 2023
0.31.1-dev01+f8b39929b Feb 15, 2023
0.31.1 Feb 15, 2023
0.31.0 Feb 13, 2023
105 Records