|
SWI-Prolog won 2025 Alain Comerauer Prize
|
|
19
|
441
|
December 16, 2025
|
|
Progressing the SWI-Prolog environment
|
|
45
|
625
|
November 1, 2025
|
|
ChatGPT SWI-Prolog assistent
|
|
27
|
607
|
July 1, 2025
|
|
Using Claude Code to create skills, commands, plans, ... for SWI-Prolog
|
|
12
|
389
|
December 22, 2025
|
|
Ann: SWI-Prolog 10.1.1 (devel)
|
|
23
|
295
|
January 22, 2026
|
|
MeTTa language transpiler: PeTTa
|
|
9
|
194
|
January 31, 2026
|
|
Advent of Code 2025
|
|
29
|
506
|
December 25, 2025
|
|
Prolog LSP Update - Code Formatting!
|
|
10
|
378
|
June 18, 2025
|
|
Ann: SWI-Prolog 9.3.32
|
|
11
|
375
|
October 27, 2025
|
|
Ann: SWI-Prolog 9.3.25
|
|
19
|
382
|
September 25, 2025
|
|
Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `
|
|
70
|
900
|
August 29, 2025
|
|
New version of the units package v0.16
|
|
72
|
642
|
July 16, 2025
|
|
Ann: SWI-Prolog 9.3.30
|
|
16
|
324
|
September 23, 2025
|
|
Ann: SWI-Prolog 9.3.31
|
|
20
|
355
|
October 8, 2025
|
|
Ann: SWI-Prolog 9.3.34
|
|
19
|
274
|
November 12, 2025
|
|
Future of XPCE
|
|
32
|
833
|
June 30, 2025
|
|
Is there a linter for prolog programs?
|
|
25
|
410
|
October 28, 2025
|
|
Ann: SWI-Prolog 9.3.26
|
|
39
|
354
|
August 4, 2025
|
|
Dicts, attribute variables and cyclic terms
|
|
20
|
322
|
October 21, 2025
|
|
Technical Failure Management and Root Cause Prediction with an Expert System
|
|
23
|
308
|
October 2, 2025
|
|
Wasm vs swish and others
|
|
21
|
363
|
November 11, 2025
|
|
How to convert standard json into prolog json?
|
|
42
|
353
|
March 26, 2025
|
|
Units: a new pack for units and quantities
|
|
19
|
171
|
March 25, 2025
|
|
Ann: SWI-Prolog 9.3.27
|
|
10
|
209
|
August 7, 2025
|
|
New version of the units package v0.12
|
|
20
|
206
|
June 15, 2025
|
|
We have a segfault
|
|
11
|
168
|
February 21, 2025
|
|
Extending Unification 2
|
|
11
|
161
|
April 14, 2025
|
|
Evaluation binaries for new XPCE+SDL based GUI
|
|
35
|
287
|
July 24, 2025
|
|
WASM wait for user input
|
|
27
|
303
|
February 28, 2025
|
|
Switching away from DFS: yet another beginner mystified
|
|
19
|
294
|
March 7, 2025
|
|
Hillel Wayne: "My Gripes with Prolog"
|
|
11
|
230
|
February 3, 2026
|
|
Proper use of temporary module?
|
|
13
|
188
|
February 1, 2026
|
|
Metaobjects in PROLOG
|
|
10
|
402
|
November 17, 2025
|
|
Ann: SWI-Prolog 9.3.35
|
|
12
|
143
|
November 20, 2025
|
|
Suspicious warning "The predicates below are not defined ','/6"
|
|
17
|
214
|
October 12, 2025
|
|
Ann: SWI-Prolog 9.3.28
|
|
15
|
254
|
September 3, 2025
|
|
Any Symbolic Expression Lib?
|
|
15
|
293
|
March 16, 2025
|
|
Emacs Babel for Prolog is "goal-oriented"
|
|
17
|
258
|
April 24, 2025
|
|
Confusion over functor versus predicate -- and predicates in general
|
|
15
|
220
|
April 26, 2025
|
|
SWI Prolog and SLD REesolution
|
|
19
|
274
|
November 21, 2025
|
|
TIL: CLP (Q) is a natural consequence of CLP (FD)
|
|
13
|
215
|
March 24, 2025
|
|
Fsyntax in swipl
|
|
9
|
153
|
March 6, 2025
|
|
Looking for an example of a REPL
|
|
11
|
207
|
June 4, 2025
|
|
Someone out there having pack(tor) available?
|
|
9
|
107
|
April 14, 2025
|
|
Would it be possible to implement a second SSU Operator "*=>" which allows for backtracking in the left hand side?
|
|
16
|
149
|
August 24, 2025
|
|
MacOS pack install without Xcode
|
|
19
|
150
|
September 14, 2025
|
|
Prolog's performance on "Billion Nested Loop Iteration"
|
|
20
|
159
|
January 14, 2026
|
|
Resizing the debugger window causes it to crash
|
|
10
|
199
|
November 28, 2025
|
|
Core dump in dev release 9.3.24
|
|
16
|
156
|
June 21, 2025
|
|
Concurrent labeling?
|
|
15
|
137
|
April 21, 2025
|