|
Library(json)?
|
|
12
|
102
|
February 17, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
53
|
February 13, 2026
|
|
SEGV in tabled deterministic predicate, but only when compiled
|
|
13
|
59
|
February 12, 2026
|
|
Scaling to billions of facts?
|
|
24
|
4780
|
February 10, 2026
|
|
Warning C4013: 'ms_snprintf' undefined;
|
|
15
|
39
|
February 10, 2026
|
|
Windows native build with ASan - Claude AI notes: ASan found a heap-use-after-free bug
|
|
61
|
195
|
February 9, 2026
|
|
Neurosymbolic AI
|
|
27
|
4147
|
February 9, 2026
|
|
Liblo.dll needed for plosc package
|
|
2
|
89
|
February 6, 2026
|
|
HTTP DDoS protection
|
|
4
|
87
|
February 6, 2026
|
|
Http reply for simple API
|
|
4
|
73
|
February 5, 2026
|
|
Hillel Wayne: "My Gripes with Prolog"
|
|
11
|
283
|
February 3, 2026
|
|
Current status of s(CASP)
|
|
8
|
89
|
February 2, 2026
|
|
Proper use of temporary module?
|
|
13
|
226
|
February 1, 2026
|
|
MeTTa language transpiler: PeTTa
|
|
9
|
247
|
January 31, 2026
|
|
Init.pl location
|
|
3
|
82
|
January 31, 2026
|
|
Is there a way to serialize continuation or program execution state?
|
|
21
|
671
|
January 30, 2026
|
|
Unable to modify PATH during installation
|
|
8
|
9651
|
January 30, 2026
|
|
Using gcc on Mac Silicon (M*)
|
|
6
|
153
|
January 30, 2026
|
|
Using sum in subsumptive tabling
|
|
1
|
66
|
January 28, 2026
|
|
Windows vs Linux performance
|
|
19
|
703
|
January 27, 2026
|
|
Ann: SWI-Prolog 10.1.2
|
|
0
|
114
|
January 27, 2026
|
|
ICLP 2026 ** Deadline Extension **
|
|
0
|
95
|
January 26, 2026
|
|
On the declarative debugger
|
|
2
|
82
|
January 24, 2026
|
|
Dynamic subsumptive table/1 predicate
|
|
11
|
102
|
January 23, 2026
|
|
Notes on building SWI-Prolog for WebAssembly (WASM)
|
|
2
|
57
|
January 22, 2026
|
|
Ann: SWI-Prolog 10.1.1 (devel)
|
|
23
|
326
|
January 22, 2026
|
|
Nits in the profiler
|
|
3
|
70
|
January 19, 2026
|
|
Issue Loading XPCE Graphics Library (Version 10.0.0)
|
|
3
|
90
|
January 18, 2026
|
|
Src/os/string.c, lines 70f
|
|
0
|
58
|
January 14, 2026
|
|
Emacs on win11 with prolog-mode and swipl.exe and indic script output in the toplevel buffer
|
|
10
|
81
|
January 14, 2026
|