|
New version of the units package v0.12
|
|
20
|
307
|
June 15, 2025
|
|
Ann: DESODBC 1.0.0
|
|
0
|
77
|
June 9, 2025
|
|
Support precompiled (.qlf) libraries
|
|
5
|
192
|
April 29, 2025
|
|
New version of Units pack
|
|
0
|
80
|
March 31, 2025
|
|
Tinker using .qlf files and no source
|
|
0
|
64
|
March 27, 2025
|
|
Units: a new pack for units and quantities
|
|
19
|
377
|
March 25, 2025
|
|
Update to WASM shell
|
|
0
|
79
|
February 25, 2025
|
|
Yield based debugging: allow for a fancy debugger for the browser version!
|
|
0
|
103
|
February 19, 2025
|
|
WASM version engine support
|
|
0
|
76
|
February 6, 2025
|
|
Preliminary Call for Papers (ICLP 2025)
|
|
0
|
176
|
January 25, 2025
|
|
Yet another SQLite binding for SWI-Prolog
|
|
12
|
300
|
January 12, 2025
|
|
Prolog to GPT API
|
|
0
|
999
|
February 21, 2023
|
|
Updated search for Prolog installation
|
|
0
|
67
|
November 29, 2024
|
|
Package pac updated to 1.6.5
|
|
12
|
624
|
September 21, 2024
|
|
The 2024 Prolog Implementers Forum PIPs Workshop
|
|
1
|
169
|
September 26, 2024
|
|
Pack Announce: ltools - list manipulations in Prolog
|
|
0
|
91
|
September 3, 2024
|
|
Pack Ann: proSQLite 2.0
|
|
0
|
84
|
August 15, 2024
|
|
ICLP'24/LPNMR'24 Workshops and Doctoral Consortium: Call for Papers
|
|
0
|
77
|
July 15, 2024
|
|
Announcing swipl-nix
|
|
0
|
198
|
July 8, 2024
|
|
The 2024 Alain Colmerauer Prize
|
|
0
|
277
|
June 3, 2024
|
|
PhD position in Neuro-Symbolic Artificial Intelligence at the University of Ferrara, Italy
|
|
0
|
236
|
May 17, 2024
|
|
[ALP] ICLP 2024 - Final Call for Papers
|
|
0
|
208
|
April 29, 2024
|
|
Pack Announce: probat - property based testing Prolog programs
|
|
0
|
144
|
April 13, 2024
|
|
Internal data representation changes in GIT version
|
|
0
|
256
|
April 6, 2024
|
|
New services online
|
|
0
|
222
|
February 23, 2024
|
|
Updated Liftcover
|
|
0
|
220
|
January 21, 2024
|
|
Htmx and end-to-end declarative web programming Stream
|
|
0
|
419
|
July 18, 2020
|
|
The Game of 24 puzzle
|
|
0
|
257
|
December 28, 2023
|
|
[CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg
|
|
0
|
217
|
December 20, 2023
|
|
Linear and logistic regression
|
|
0
|
838
|
December 19, 2021
|