|
LPNMR 2026 - Call for Workshops
|
|
0
|
24
|
April 22, 2026
|
|
New egraph pack v0.1.0 annoucement for term rewriting
|
|
22
|
209
|
April 22, 2026
|
|
Order and sorting
|
|
59
|
303
|
April 16, 2026
|
|
Absolute_file_name confusion
|
|
1
|
30
|
April 14, 2026
|
|
`w` write mode not working?
|
|
18
|
106
|
April 14, 2026
|
|
Error: exported procedure socket: XYZ not defined - when using Parallels on Apple M3, but not on Apple Intel Core i7
|
|
1
|
36
|
April 13, 2026
|
|
How to substring at byte index?
|
|
2
|
47
|
April 13, 2026
|
|
Connecting to Redislabs
|
|
6
|
57
|
April 10, 2026
|
|
What is the real purpose of Annex (formal semantics) in the ISO Prolog standard (1995)?
|
|
0
|
51
|
April 10, 2026
|
|
Is there an easy way to view "stack traces" with the interpreter?
|
|
95
|
520
|
April 11, 2026
|
|
Unexpected behaviour in clpfd:trigger_once/1
|
|
0
|
35
|
April 4, 2026
|
|
GUI updates
|
|
0
|
68
|
April 3, 2026
|
|
Crash when labelling
|
|
3
|
95
|
April 3, 2026
|
|
JavaScript object with Unicode property names in WASM
|
|
1
|
43
|
April 2, 2026
|
|
Integrating a shared library in a module
|
|
7
|
65
|
April 1, 2026
|
|
Quick unification question
|
|
4
|
95
|
March 31, 2026
|
|
Unexpected semantics of library(ordsets) for ordered _lists_ (not sets)
|
|
55
|
241
|
March 26, 2026
|
|
SWI freezes when trying free XPCE objects (?)
|
|
2
|
56
|
March 23, 2026
|
|
Prolog's performance on "Billion Nested Loop Iteration"
|
|
25
|
308
|
March 20, 2026
|
|
ICLP 2026 - Call for Technical Communications and Recently Published Research
|
|
0
|
47
|
March 19, 2026
|
|
Preparing frontier information for each node, and applying to path counting in undirected graph
|
|
6
|
354
|
March 19, 2026
|
|
Ann:: SWI-Prolog 10.0.2 (stable)
|
|
1
|
184
|
March 18, 2026
|
|
New Personal Records for Grid Graph Path Counting ($c(14)$ and $c(15)$) using ZDDs
|
|
14
|
130
|
March 18, 2026
|
|
Python interface (Janus) for Prolog 10?
|
|
4
|
74
|
March 18, 2026
|
|
Ann: SWI-Prolog 10.1.5
|
|
27
|
230
|
March 16, 2026
|
|
Pre-Compiled WASM for SWI (WORA)?
|
|
1
|
35
|
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
|
98
|
March 10, 2026
|
|
PackAnn: Upsh (Unix to Prolog SHell) v3.0
|
|
0
|
44
|
March 9, 2026
|
|
Some questions about wasm
|
|
9
|
106
|
March 2, 2026
|