|
Prolog's performance on "Billion Nested Loop Iteration"
|
|
25
|
338
|
March 20, 2026
|
|
Preparing frontier information for each node, and applying to path counting in undirected graph
|
|
6
|
361
|
March 19, 2026
|
|
New Personal Records for Grid Graph Path Counting ($c(14)$ and $c(15)$) using ZDDs
|
|
14
|
149
|
March 18, 2026
|
|
Pre-Compiled WASM for SWI (WORA)?
|
|
1
|
36
|
March 15, 2026
|
|
Portray_text/1 with one or two characters doesn't portray text?
|
|
3
|
36
|
March 13, 2026
|
|
Getting an initialization error with 10.0.1
|
|
9
|
111
|
March 10, 2026
|
|
Some questions about wasm
|
|
9
|
118
|
March 2, 2026
|
|
Guitracer not available
|
|
3
|
84
|
February 26, 2026
|
|
Effefct of "write" option at the top-level
|
|
4
|
66
|
February 24, 2026
|
|
Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)
|
|
0
|
50
|
February 22, 2026
|
|
Scaling to billions of facts?
|
|
24
|
4839
|
February 10, 2026
|
|
Http reply for simple API
|
|
4
|
82
|
February 5, 2026
|
|
Hillel Wayne: "My Gripes with Prolog"
|
|
11
|
317
|
February 3, 2026
|
|
Init.pl location
|
|
3
|
99
|
January 31, 2026
|
|
On the declarative debugger
|
|
2
|
89
|
January 24, 2026
|
|
Nits in the profiler
|
|
3
|
77
|
January 19, 2026
|
|
Cpp2 exceptions
|
|
87
|
2034
|
January 3, 2026
|
|
Bug of variable instantiation?
|
|
12
|
110
|
December 28, 2025
|
|
Updated versiojn of swiplcs by Uwe Lesta
|
|
3
|
135
|
December 27, 2025
|
|
Is the decision to replace the integrated "Help" manual by the online one temporary or permanent?
|
|
1
|
74
|
December 25, 2025
|
|
Operator redefinition && system libraries
|
|
1
|
70
|
December 25, 2025
|
|
Advent of Code 2025
|
|
29
|
654
|
December 25, 2025
|
|
Defining facts in bulk ergonomically but (eventually) performantly
|
|
2
|
96
|
December 22, 2025
|
|
Deadlock in futex_wait() when using archive_foldl() & threads
|
|
5
|
95
|
December 16, 2025
|
|
Is this a horrible idea, or a great one? (Also a BUG report)
|
|
9
|
137
|
December 16, 2025
|
|
SWI-Prolog won 2025 Alain Comerauer Prize
|
|
19
|
486
|
December 16, 2025
|
|
Clang-asan: stack-buffer-overflow in memcpy
|
|
3
|
82
|
December 11, 2025
|
|
Library(prolog_coverage) - would like to see into call/1 when used, e.g. catch/3
|
|
2
|
71
|
December 9, 2025
|
|
Swipl-win only quarter of window (github raised issue)?
|
|
5
|
82
|
December 7, 2025
|
|
Trace doesn't work
|
|
3
|
73
|
December 4, 2025
|