|
Preparing frontier information for each node, and applying to path counting in undirected graph
|
|
6
|
348
|
March 19, 2026
|
|
Ann:: SWI-Prolog 10.0.2 (stable)
|
|
1
|
169
|
March 18, 2026
|
|
New Personal Records for Grid Graph Path Counting ($c(14)$ and $c(15)$) using ZDDs
|
|
14
|
125
|
March 18, 2026
|
|
Python interface (Janus) for Prolog 10?
|
|
4
|
72
|
March 18, 2026
|
|
Ann: SWI-Prolog 10.1.5
|
|
27
|
201
|
March 16, 2026
|
|
Pre-Compiled WASM for SWI (WORA)?
|
|
1
|
32
|
March 15, 2026
|
|
Portray_text/1 with one or two characters doesn't portray text?
|
|
3
|
34
|
March 13, 2026
|
|
Getting an initialization error with 10.0.1
|
|
9
|
86
|
March 10, 2026
|
|
PackAnn: Upsh (Unix to Prolog SHell) v3.0
|
|
0
|
43
|
March 9, 2026
|
|
Some questions about wasm
|
|
9
|
93
|
March 2, 2026
|
|
Can't create a file
|
|
3
|
62
|
February 28, 2026
|
|
Guitracer not available
|
|
3
|
73
|
February 26, 2026
|
|
I can't install swi-prolog-x from the official ppa
|
|
1
|
44
|
February 25, 2026
|
|
Effefct of "write" option at the top-level
|
|
4
|
54
|
February 24, 2026
|
|
SWI-Prolog 10.1.4 compilation problem
|
|
6
|
48
|
February 23, 2026
|
|
Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)
|
|
0
|
45
|
February 22, 2026
|
|
Ann: SWI-Prolog 10.1.4
|
|
0
|
97
|
February 22, 2026
|
|
Http_daemon throwing exception over port number I'm not using
|
|
4
|
31
|
February 22, 2026
|
|
Is python.exe real on Windows 11
|
|
5
|
146
|
February 21, 2026
|
|
Ann: SWI-Prolog 10.0.1 (stable)
|
|
1
|
107
|
February 21, 2026
|
|
Fixing jvm.dll error in swipl cpack
|
|
2
|
33
|
February 21, 2026
|
|
Enhanced CLI completion
|
|
0
|
42
|
February 20, 2026
|
|
Max_path_length limitation
|
|
11
|
939
|
February 19, 2026
|
|
XPCE: How to display bubble help message in specific TTF font, if at all possible?
|
|
4
|
41
|
February 19, 2026
|
|
Ann: SWI-Prolog 10.1.3
|
|
14
|
187
|
February 19, 2026
|
|
Library(json)?
|
|
12
|
109
|
February 17, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
55
|
February 13, 2026
|
|
SEGV in tabled deterministic predicate, but only when compiled
|
|
13
|
61
|
February 12, 2026
|
|
Scaling to billions of facts?
|
|
24
|
4799
|
February 10, 2026
|
|
Warning C4013: 'ms_snprintf' undefined;
|
|
15
|
42
|
February 10, 2026
|