klibs.io
Report an issue
About & FAQ
Kotlin Ecosystem
Press
/
to search + KMP projects
Complete survey to improve klibs.io ↗
Let’s go
Close
tuProlog
2p-kt
it.unibo.tuprolog:unify
1.1.5
unify:1.1.5
Latest release
1.1.5 (3 months ago)
Parent project
2p-kt (113 stars)
Kotlin version
2.2.21
License
Apache-2.0
Developer
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
Build tool version
Gradle 9.2.1
JVM
17
JS
Gradle Kotlin
Gradle Groovy
implementation(
"it.unibo.tuprolog:unify:1.1.5"
)
2P-Kt, Unify Module
Logic unification for logic terms and clauses
Homepage
Source code management
Maven artifacts
Version history
Version
Release
Platforms and targets
1.1.5
Release:
20 Nov 2025
JVM
JS
1.1.4
Release:
22 Sep 2025
JVM
JS
1.1.3
Release:
19 Sep 2025
JVM
JS
1.1.2
Release:
18 Sep 2025
JVM
JS
1.1.1
Release:
18 Sep 2025
JVM
JS
1.1.0
Release:
18 Sep 2025
JVM
JS
1.0.4
Release:
26 May 2024
JVM
JS
1.0.3
Release:
10 May 2024
JVM
JS
1.0.2
Release:
05 May 2024
JVM
JS
1.0.1
Release:
06 Apr 2024
JVM
JS
1.0.0
Release:
30 Mar 2024
JVM
JS
0.32.5
Release:
24 Mar 2024
JVM
JS
0.32.4
Release:
24 Mar 2024
JVM
JS
0.32.3
Release:
24 Mar 2024
JVM
JS
0.32.2
Release:
22 Mar 2024
JVM
JS
0.32.1
Release:
09 Feb 2024
JVM
JS
0.32.0
Release:
03 Jan 2024
JVM
JS
0.31.21
Release:
24 Dec 2023
JVM
JS
0.31.20
Release:
22 Dec 2023
JVM
JS
0.31.19
Release:
09 Dec 2023
JVM
JS
0.31.18
Release:
24 Oct 2023
JVM
JS
0.31.17
Release:
22 Oct 2023
JVM
JS
0.31.16
Release:
13 Oct 2023
JVM
JS
0.31.15
Release:
15 Sep 2023
JVM
JS
0.31.14
Release:
13 Sep 2023
JVM
JS
0.31.13
Release:
25 Aug 2023
JVM
JS
0.31.12
Release:
18 Aug 2023
JVM
JS
0.31.11
Release:
19 Jul 2023
JVM
JS
0.31.10
Release:
12 Jul 2023
JVM
JS
0.31.9
Release:
08 Jul 2023
JVM
JS
0.31.8
Release:
08 Jul 2023
JVM
JS
0.31.7
Release:
07 Jul 2023
JVM
JS
0.31.5-dev0m+0c07eb350
Release:
07 Jul 2023
JVM
JS
0.31.5-dev0f+5a2ad7593
Release:
20 Jun 2023
JVM
JS
0.31.5-dev0c+d53549ad7
Release:
20 Jun 2023
JVM
JS
0.31.5-dev02+b65f8712e
Release:
03 May 2023
JVM
JS
0.31.5-dev01+75e0f28ea
Release:
01 May 2023
JVM
JS
0.31.5
Release:
30 Apr 2023
JVM
JS
0.31.4-dev01+3caf83203
Release:
29 Apr 2023
JVM
JS
0.31.4
Release:
29 Apr 2023
JVM
JS
0.31.3
Release:
19 Apr 2023
JVM
JS
0.31.2
Release:
18 Apr 2023
JVM
JS
0.31.1-dev02+0cd8a1ae6
Release:
15 Feb 2023
JVM
JS
0.31.1-dev01+f8b39929b
Release:
14 Feb 2023
JVM
JS
0.31.1
Release:
14 Feb 2023
JVM
JS
0.31.0
Release:
13 Feb 2023
JVM
JS
0.30.5
Release:
01 Feb 2023
JVM
JS
0.30.4
Release:
20 Nov 2022
JVM
JS
0.30.3-dev0a+69949374d
Release:
20 Nov 2022
JVM
JS
0.30.3
Release:
12 Oct 2022
JVM
JS
0.30.2-dev0f+259d7b5b
Release:
12 Oct 2022
JVM
JS
0.30.2-dev08+5b060658
Release:
12 Oct 2022
JVM
JS
0.30.2
Release:
26 Sep 2022
JVM
JS
0.30.1
Release:
26 Sep 2022
JVM
JS
0.30.0-dev01+725eae35
Release:
26 Sep 2022
JVM
JS
0.30.0
Release:
23 Sep 2022
JVM
JS
0.20.9-dev0g+63540268
Release:
06 Jul 2022
JVM
JS
0.20.9-dev0c+bc6d9512
Release:
06 Jul 2022
JVM
JS
0.20.9-dev0a+8e9a240b
Release:
22 Jun 2022
JVM
JS
0.20.9-dev03+3250bb16
Release:
20 Jun 2022
JVM
JS
0.20.9-dev02+01edbfee
Release:
19 Jun 2022
JVM
JS
0.20.9-dev01+ada92962
Release:
16 Jun 2022
JVM
JS
0.20.9
Release:
14 Jun 2022
JVM
JS
0.20.7
Release:
02 Jun 2022
JVM
JS
0.20.4
Release:
06 Nov 2021
JVM
JS
0.20.3
Release:
05 Nov 2021
JVM
JS
0.20.2-dev07+51892bb0
Release:
05 Nov 2021
JVM
JS
0.20.2
Release:
18 Oct 2021
JVM
JS
*Only more recent versions are displayed
JVM
17
JS
Version history
Version
Release
Platforms and targets
1.1.5
Release:
20 Nov 2025
JVM
JS
1.1.4
Release:
22 Sep 2025
JVM
JS
1.1.3
Release:
19 Sep 2025
JVM
JS
1.1.2
Release:
18 Sep 2025
JVM
JS
1.1.1
Release:
18 Sep 2025
JVM
JS
1.1.0
Release:
18 Sep 2025
JVM
JS
1.0.4
Release:
26 May 2024
JVM
JS
1.0.3
Release:
10 May 2024
JVM
JS
1.0.2
Release:
05 May 2024
JVM
JS
1.0.1
Release:
06 Apr 2024
JVM
JS
1.0.0
Release:
30 Mar 2024
JVM
JS
0.32.5
Release:
24 Mar 2024
JVM
JS
0.32.4
Release:
24 Mar 2024
JVM
JS
0.32.3
Release:
24 Mar 2024
JVM
JS
0.32.2
Release:
22 Mar 2024
JVM
JS
0.32.1
Release:
09 Feb 2024
JVM
JS
0.32.0
Release:
03 Jan 2024
JVM
JS
0.31.21
Release:
24 Dec 2023
JVM
JS
0.31.20
Release:
22 Dec 2023
JVM
JS
0.31.19
Release:
09 Dec 2023
JVM
JS
0.31.18
Release:
24 Oct 2023
JVM
JS
0.31.17
Release:
22 Oct 2023
JVM
JS
0.31.16
Release:
13 Oct 2023
JVM
JS
0.31.15
Release:
15 Sep 2023
JVM
JS
0.31.14
Release:
13 Sep 2023
JVM
JS
0.31.13
Release:
25 Aug 2023
JVM
JS
0.31.12
Release:
18 Aug 2023
JVM
JS
0.31.11
Release:
19 Jul 2023
JVM
JS
0.31.10
Release:
12 Jul 2023
JVM
JS
0.31.9
Release:
08 Jul 2023
JVM
JS
0.31.8
Release:
08 Jul 2023
JVM
JS
0.31.7
Release:
07 Jul 2023
JVM
JS
0.31.5-dev0m+0c07eb350
Release:
07 Jul 2023
JVM
JS
0.31.5-dev0f+5a2ad7593
Release:
20 Jun 2023
JVM
JS
0.31.5-dev0c+d53549ad7
Release:
20 Jun 2023
JVM
JS
0.31.5-dev02+b65f8712e
Release:
03 May 2023
JVM
JS
0.31.5-dev01+75e0f28ea
Release:
01 May 2023
JVM
JS
0.31.5
Release:
30 Apr 2023
JVM
JS
0.31.4-dev01+3caf83203
Release:
29 Apr 2023
JVM
JS
0.31.4
Release:
29 Apr 2023
JVM
JS
0.31.3
Release:
19 Apr 2023
JVM
JS
0.31.2
Release:
18 Apr 2023
JVM
JS
0.31.1-dev02+0cd8a1ae6
Release:
15 Feb 2023
JVM
JS
0.31.1-dev01+f8b39929b
Release:
14 Feb 2023
JVM
JS
0.31.1
Release:
14 Feb 2023
JVM
JS
0.31.0
Release:
13 Feb 2023
JVM
JS
0.30.5
Release:
01 Feb 2023
JVM
JS
0.30.4
Release:
20 Nov 2022
JVM
JS
0.30.3-dev0a+69949374d
Release:
20 Nov 2022
JVM
JS
0.30.3
Release:
12 Oct 2022
JVM
JS
0.30.2-dev0f+259d7b5b
Release:
12 Oct 2022
JVM
JS
0.30.2-dev08+5b060658
Release:
12 Oct 2022
JVM
JS
0.30.2
Release:
26 Sep 2022
JVM
JS
0.30.1
Release:
26 Sep 2022
JVM
JS
0.30.0-dev01+725eae35
Release:
26 Sep 2022
JVM
JS
0.30.0
Release:
23 Sep 2022
JVM
JS
0.20.9-dev0g+63540268
Release:
06 Jul 2022
JVM
JS
0.20.9-dev0c+bc6d9512
Release:
06 Jul 2022
JVM
JS
0.20.9-dev0a+8e9a240b
Release:
22 Jun 2022
JVM
JS
0.20.9-dev03+3250bb16
Release:
20 Jun 2022
JVM
JS
0.20.9-dev02+01edbfee
Release:
19 Jun 2022
JVM
JS
0.20.9-dev01+ada92962
Release:
16 Jun 2022
JVM
JS
0.20.9
Release:
14 Jun 2022
JVM
JS
0.20.7
Release:
02 Jun 2022
JVM
JS
0.20.4
Release:
06 Nov 2021
JVM
JS
0.20.3
Release:
05 Nov 2021
JVM
JS
0.20.2-dev07+51892bb0
Release:
05 Nov 2021
JVM
JS
0.20.2
Release:
18 Oct 2021
JVM
JS
*Only more recent versions are displayed
