Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server mode. For internal use only by the ProB Java API and the ProB plugin for Rodin!
Latest Versions
65 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
2.16.x | 2.16.1 |
1
| Aug 26, 2026 | |
| 2.16.0 |
1
| Jul 17, 2026 | ||
2.15.x | 2.15.4 |
1
| Dec 18, 2025 | |
| 2.15.3 |
0
| Sep 18, 2025 | ||
| 2.15.2 |
1
| Jun 06, 2025 | ||
2.13.x | 2.13.5 |
0
| Nov 08, 2024 | |
| 2.13.4 |
0
| Aug 17, 2024 | ||
| 2.13.3 |
0
| Jul 04, 2024 | ||
2.12.x | 2.12.7 |
1
| Aug 11, 2023 | |
| 2.12.6 |
0
| Aug 08, 2023 | ||
| 2.12.5 |
0
| Jul 10, 2023 | ||
2.9.x | 2.9.32 |
1
| Dec 28, 2021 | |
| 2.9.31 |
0
| Dec 03, 2021 | ||
| 2.9.30 |
0
| Nov 09, 2021 | ||
2.8.x | 2.8.0 |
2
| Dec 16, 2016 | |
2.7.x | 2.7.0 |
1
| Nov 07, 2016 | |
2.6.x | 2.6.3 |
1
| Oct 20, 2016 | |
| 2.6.2 |
2
| Jun 17, 2016 | ||
| 2.6.1 |
1
| Jun 16, 2016 | ||
2.5.x | 2.5.6 |
1
| Jun 09, 2016 | |
| 2.5.4 |
1
| Apr 25, 2016 | ||
| 2.5.3 |
1
| Apr 21, 2016 | ||
2.4.x | 2.4.40 |
1
| Aug 02, 2015 |