|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
68
|
May 3, 2026
|
|
How many days will it realistically take to code up a working prototype of WAM (without optimization)?
|
|
15
|
262
|
April 24, 2026
|
|
New egraph pack v0.1.0 annoucement for term rewriting
|
|
17
|
271
|
April 21, 2026
|
|
Can ILP learn geometry rules with floating point numbers
|
|
19
|
389
|
April 21, 2026
|
|
Absolute_file_name confusion
|
|
1
|
41
|
April 14, 2026
|
|
`w` write mode not working?
|
|
18
|
161
|
April 14, 2026
|
|
Error: exported procedure socket: XYZ not defined - when using Parallels on Apple M3, but not on Apple Intel Core i7
|
|
1
|
48
|
April 13, 2026
|
|
How to substring at byte index?
|
|
2
|
61
|
April 13, 2026
|
|
What is the real purpose of Annex (formal semantics) in the ISO Prolog standard (1995)?
|
|
0
|
60
|
April 10, 2026
|
|
Is there an easy way to view "stack traces" with the interpreter?
|
|
64
|
817
|
April 7, 2026
|
|
Unexpected behaviour in clpfd:trigger_once/1
|
|
0
|
41
|
April 4, 2026
|
|
Crash when labelling
|
|
3
|
113
|
April 3, 2026
|
|
JavaScript object with Unicode property names in WASM
|
|
1
|
51
|
April 2, 2026
|
|
Quick unification question
|
|
3
|
110
|
March 31, 2026
|
|
Unexpected semantics of library(ordsets) for ordered _lists_ (not sets)
|
|
38
|
367
|
March 26, 2026
|
|
Prolog's performance on "Billion Nested Loop Iteration"
|
|
25
|
415
|
March 20, 2026
|
|
Preparing frontier information for each node, and applying to path counting in undirected graph
|
|
3
|
373
|
March 19, 2026
|
|
New Personal Records for Grid Graph Path Counting ($c(14)$ and $c(15)$) using ZDDs
|
|
6
|
183
|
March 15, 2026
|
|
Portray_text/1 with one or two characters doesn't portray text?
|
|
3
|
52
|
March 13, 2026
|
|
Getting an initialization error with 10.0.1
|
|
9
|
142
|
March 10, 2026
|
|
Some questions about wasm
|
|
9
|
151
|
March 2, 2026
|
|
Guitracer not available
|
|
3
|
89
|
February 26, 2026
|
|
Effefct of "write" option at the top-level
|
|
4
|
75
|
February 24, 2026
|
|
Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)
|
|
0
|
54
|
February 22, 2026
|
|
Scaling to billions of facts?
|
|
24
|
4939
|
February 10, 2026
|
|
Http reply for simple API
|
|
3
|
91
|
February 4, 2026
|
|
Hillel Wayne: "My Gripes with Prolog"
|
|
11
|
359
|
February 3, 2026
|
|
Init.pl location
|
|
3
|
111
|
January 31, 2026
|
|
On the declarative debugger
|
|
2
|
102
|
January 24, 2026
|
|
Nits in the profiler
|
|
3
|
86
|
January 19, 2026
|