it.unibo.tuprolog:solve-classic:1.1.5

solve-classic:0.31.3

Latest release1.1.5 (3 months ago)

Kotlin version1.8.10

DeveloperJason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco

Build tool versionGradle 7.5.1

JVM

implementation("it.unibo.tuprolog:solve-classic:0.31.3")

2P-Kt, Solve-Classic Module

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

Homepage

Source code management

Maven artifacts

Version	Release	Platforms and targets
1.1.5	Release: 20 Nov 2025	JVMJS
1.1.4	Release: 22 Sep 2025	JVMJS
1.1.3	Release: 19 Sep 2025	JVMJS
1.1.2	Release: 18 Sep 2025	JVMJS
1.1.1	Release: 18 Sep 2025	JVMJS
1.1.0	Release: 18 Sep 2025	JVMJS
1.0.4	Release: 26 May 2024	JVMJS
1.0.3	Release: 10 May 2024	JVMJS
1.0.2	Release: 05 May 2024	JVMJS
1.0.1	Release: 06 Apr 2024	JVMJS
1.0.0	Release: 30 Mar 2024	JVMJS
0.32.5	Release: 24 Mar 2024	JVMJS
0.32.4	Release: 24 Mar 2024	JVMJS
0.32.3	Release: 24 Mar 2024	JVMJS
0.32.2	Release: 22 Mar 2024	JVMJS
0.32.1	Release: 09 Feb 2024	JVMJS
0.32.0	Release: 03 Jan 2024	JVMJS
0.31.21	Release: 24 Dec 2023	JVMJS
0.31.20	Release: 22 Dec 2023	JVMJS
0.31.19	Release: 09 Dec 2023	JVMJS
0.31.18	Release: 24 Oct 2023	JVMJS
0.31.17	Release: 22 Oct 2023	JVMJS
0.31.16	Release: 13 Oct 2023	JVMJS
0.31.15	Release: 15 Sep 2023	JVMJS
0.31.14	Release: 13 Sep 2023	JVMJS
0.31.13	Release: 25 Aug 2023	JVMJS
0.31.12	Release: 18 Aug 2023	JVMJS
0.31.11	Release: 19 Jul 2023	JVMJS
0.31.10	Release: 12 Jul 2023	JVMJS
0.31.9	Release: 08 Jul 2023	JVMJS
0.31.8	Release: 08 Jul 2023	JVMJS
0.31.7	Release: 07 Jul 2023	JVMJS
0.31.5-dev0m+0c07eb350	Release: 07 Jul 2023	JVMJS
0.31.5-dev0f+5a2ad7593	Release: 20 Jun 2023	JVMJS
0.31.5-dev0c+d53549ad7	Release: 20 Jun 2023	JVMJS
0.31.5-dev02+b65f8712e	Release: 03 May 2023	JVMJS
0.31.5-dev01+75e0f28ea	Release: 01 May 2023	JVMJS
0.31.5	Release: 30 Apr 2023	JVMJS
0.31.4-dev01+3caf83203	Release: 29 Apr 2023	JVMJS
0.31.4	Release: 29 Apr 2023	JVMJS
0.31.3	Release: 19 Apr 2023	JVMJS
0.31.2	Release: 18 Apr 2023	JVMJS
0.31.1-dev02+0cd8a1ae6	Release: 15 Feb 2023	JVMJS
0.31.1-dev01+f8b39929b	Release: 14 Feb 2023	JVMJS
0.31.1	Release: 14 Feb 2023	JVMJS
0.31.0	Release: 13 Feb 2023	JVMJS
0.30.5	Release: 01 Feb 2023	JVMJS
0.30.4	Release: 20 Nov 2022	JVMJS
0.30.3-dev0a+69949374d	Release: 20 Nov 2022	JVMJS
0.30.3	Release: 12 Oct 2022	JVMJS
0.30.2-dev0f+259d7b5b	Release: 12 Oct 2022	JVMJS
0.30.2-dev08+5b060658	Release: 12 Oct 2022	JVMJS
0.30.2	Release: 26 Sep 2022	JVMJS
0.30.1	Release: 26 Sep 2022	JVMJS
0.30.0-dev01+725eae35	Release: 26 Sep 2022	JVMJS
0.30.0	Release: 23 Sep 2022	JVMJS
0.20.9-dev0g+63540268	Release: 06 Jul 2022	JVMJS
0.20.9-dev0c+bc6d9512	Release: 06 Jul 2022	JVMJS
0.20.9-dev0a+8e9a240b	Release: 22 Jun 2022	JVMJS
0.20.9-dev03+3250bb16	Release: 20 Jun 2022	JVMJS
0.20.9-dev02+01edbfee	Release: 19 Jun 2022	JVMJS
0.20.9-dev01+ada92962	Release: 16 Jun 2022	JVMJS
0.20.9	Release: 14 Jun 2022	JVMJS
0.20.7	Release: 02 Jun 2022	JVMJS
0.20.4	Release: 06 Nov 2021	JVMJS
0.20.3	Release: 05 Nov 2021	JVMJS
0.20.2-dev07+51892bb0	Release: 05 Nov 2021	JVMJS
0.20.2	Release: 18 Oct 2021	JVMJS

*Only more recent versions are displayed

JVM

Version	Release	Platforms and targets
1.1.5	Release: 20 Nov 2025	JVMJS
1.1.4	Release: 22 Sep 2025	JVMJS
1.1.3	Release: 19 Sep 2025	JVMJS
1.1.2	Release: 18 Sep 2025	JVMJS
1.1.1	Release: 18 Sep 2025	JVMJS
1.1.0	Release: 18 Sep 2025	JVMJS
1.0.4	Release: 26 May 2024	JVMJS
1.0.3	Release: 10 May 2024	JVMJS
1.0.2	Release: 05 May 2024	JVMJS
1.0.1	Release: 06 Apr 2024	JVMJS
1.0.0	Release: 30 Mar 2024	JVMJS
0.32.5	Release: 24 Mar 2024	JVMJS
0.32.4	Release: 24 Mar 2024	JVMJS
0.32.3	Release: 24 Mar 2024	JVMJS
0.32.2	Release: 22 Mar 2024	JVMJS
0.32.1	Release: 09 Feb 2024	JVMJS
0.32.0	Release: 03 Jan 2024	JVMJS
0.31.21	Release: 24 Dec 2023	JVMJS
0.31.20	Release: 22 Dec 2023	JVMJS
0.31.19	Release: 09 Dec 2023	JVMJS
0.31.18	Release: 24 Oct 2023	JVMJS
0.31.17	Release: 22 Oct 2023	JVMJS
0.31.16	Release: 13 Oct 2023	JVMJS
0.31.15	Release: 15 Sep 2023	JVMJS
0.31.14	Release: 13 Sep 2023	JVMJS
0.31.13	Release: 25 Aug 2023	JVMJS
0.31.12	Release: 18 Aug 2023	JVMJS
0.31.11	Release: 19 Jul 2023	JVMJS
0.31.10	Release: 12 Jul 2023	JVMJS
0.31.9	Release: 08 Jul 2023	JVMJS
0.31.8	Release: 08 Jul 2023	JVMJS
0.31.7	Release: 07 Jul 2023	JVMJS
0.31.5-dev0m+0c07eb350	Release: 07 Jul 2023	JVMJS
0.31.5-dev0f+5a2ad7593	Release: 20 Jun 2023	JVMJS
0.31.5-dev0c+d53549ad7	Release: 20 Jun 2023	JVMJS
0.31.5-dev02+b65f8712e	Release: 03 May 2023	JVMJS
0.31.5-dev01+75e0f28ea	Release: 01 May 2023	JVMJS
0.31.5	Release: 30 Apr 2023	JVMJS
0.31.4-dev01+3caf83203	Release: 29 Apr 2023	JVMJS
0.31.4	Release: 29 Apr 2023	JVMJS
0.31.3	Release: 19 Apr 2023	JVMJS
0.31.2	Release: 18 Apr 2023	JVMJS
0.31.1-dev02+0cd8a1ae6	Release: 15 Feb 2023	JVMJS
0.31.1-dev01+f8b39929b	Release: 14 Feb 2023	JVMJS
0.31.1	Release: 14 Feb 2023	JVMJS
0.31.0	Release: 13 Feb 2023	JVMJS
0.30.5	Release: 01 Feb 2023	JVMJS
0.30.4	Release: 20 Nov 2022	JVMJS
0.30.3-dev0a+69949374d	Release: 20 Nov 2022	JVMJS
0.30.3	Release: 12 Oct 2022	JVMJS
0.30.2-dev0f+259d7b5b	Release: 12 Oct 2022	JVMJS
0.30.2-dev08+5b060658	Release: 12 Oct 2022	JVMJS
0.30.2	Release: 26 Sep 2022	JVMJS
0.30.1	Release: 26 Sep 2022	JVMJS
0.30.0-dev01+725eae35	Release: 26 Sep 2022	JVMJS
0.30.0	Release: 23 Sep 2022	JVMJS
0.20.9-dev0g+63540268	Release: 06 Jul 2022	JVMJS
0.20.9-dev0c+bc6d9512	Release: 06 Jul 2022	JVMJS
0.20.9-dev0a+8e9a240b	Release: 22 Jun 2022	JVMJS
0.20.9-dev03+3250bb16	Release: 20 Jun 2022	JVMJS
0.20.9-dev02+01edbfee	Release: 19 Jun 2022	JVMJS
0.20.9-dev01+ada92962	Release: 16 Jun 2022	JVMJS
0.20.9	Release: 14 Jun 2022	JVMJS
0.20.7	Release: 02 Jun 2022	JVMJS
0.20.4	Release: 06 Nov 2021	JVMJS
0.20.3	Release: 05 Nov 2021	JVMJS
0.20.2-dev07+51892bb0	Release: 05 Nov 2021	JVMJS
0.20.2	Release: 18 Oct 2021	JVMJS

*Only more recent versions are displayed