|
Coverage - Missed at these PC offsets - Warnings
|
|
0
|
46
|
May 8, 2026
|
|
Tools - View threads missing resource
|
|
1
|
63
|
May 8, 2026
|
|
Assert ssu goal with guards
|
|
1
|
62
|
May 7, 2026
|
|
Syntax for Calling Prolog from C
|
|
8
|
148
|
May 6, 2026
|
|
Web Prolog -- the second round
|
|
2
|
138
|
May 6, 2026
|
|
Which parsing algorithms do you use for your own implementation of Prolog?
|
|
3
|
152
|
May 5, 2026
|
|
Composing an arithmetic function in a loop (but without univ)
|
|
5
|
75
|
May 4, 2026
|
|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
100
|
May 3, 2026
|
|
Upgrade from 9.2.9 to 10.0.2 missing "system resources"
|
|
5
|
108
|
May 2, 2026
|
|
Patch to include zstd in libarchive
|
|
5
|
109
|
May 2, 2026
|
|
Janus and Python venv
|
|
11
|
536
|
April 30, 2026
|
|
Ann: SWI-Prolog 10.1.6
|
|
7
|
260
|
April 27, 2026
|
|
A thin Prolog wrapper for SQLite
|
|
4
|
125
|
April 26, 2026
|
|
How many days will it realistically take to code up a working prototype of WAM (without optimization)?
|
|
15
|
321
|
April 24, 2026
|
|
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26
|
|
0
|
73
|
April 23, 2026
|
|
Horn Clauses for Verification and Synthesis: 2nd CFP
|
|
0
|
55
|
April 23, 2026
|
|
LPNMR 2026 - Call for Workshops
|
|
0
|
40
|
April 22, 2026
|
|
New egraph pack v0.1.0 annoucement for term rewriting
|
|
17
|
316
|
April 21, 2026
|
|
Can ILP learn geometry rules with floating point numbers
|
|
19
|
481
|
April 21, 2026
|
|
Order and sorting
|
|
40
|
636
|
April 16, 2026
|
|
Absolute_file_name confusion
|
|
1
|
49
|
April 14, 2026
|
|
`w` write mode not working?
|
|
18
|
214
|
April 14, 2026
|
|
Error: exported procedure socket: XYZ not defined - when using Parallels on Apple M3, but not on Apple Intel Core i7
|
|
1
|
53
|
April 13, 2026
|
|
How to substring at byte index?
|
|
2
|
73
|
April 13, 2026
|
|
Connecting to Redislabs
|
|
6
|
95
|
April 10, 2026
|
|
What is the real purpose of Annex (formal semantics) in the ISO Prolog standard (1995)?
|
|
0
|
68
|
April 10, 2026
|
|
Is there an easy way to view "stack traces" with the interpreter?
|
|
64
|
1026
|
April 7, 2026
|
|
Unexpected behaviour in clpfd:trigger_once/1
|
|
0
|
47
|
April 4, 2026
|
|
GUI updates
|
|
0
|
91
|
April 3, 2026
|
|
Crash when labelling
|
|
3
|
126
|
April 3, 2026
|