|
SEGV in tabled deterministic predicate, but only when compiled
|
|
16
|
233
|
May 20, 2026
|
|
BUG: internal error in GUI debugger
|
|
4
|
119
|
May 20, 2026
|
|
CANCELED: Problem installing janus_swi for SWI 10.0.2
|
|
1
|
62
|
May 18, 2026
|
|
Prolog Basics Explained with Pokémon
|
|
0
|
80
|
May 17, 2026
|
|
Upstreaming `ord_lookup`, `ord_range` and `rb_visit_range`
|
|
7
|
172
|
May 15, 2026
|
|
Odbc_prepare error when using library(odbc) with DuckDB
|
|
1
|
69
|
May 15, 2026
|
|
Neurosymbolic AI
|
|
28
|
4939
|
May 13, 2026
|
|
Ctest vs. test_installation (case closed)
|
|
0
|
52
|
May 10, 2026
|
|
Clp interface with egraph
|
|
0
|
70
|
May 10, 2026
|
|
Run swish locally
|
|
5
|
124
|
May 10, 2026
|
|
Should there be compiler/runtime warnings when using debug/1 incorrectly?
|
|
0
|
43
|
May 9, 2026
|
|
Coverage - Missed at these PC offsets - Warnings
|
|
0
|
54
|
May 8, 2026
|
|
Tools - View threads missing resource
|
|
1
|
71
|
May 8, 2026
|
|
Assert ssu goal with guards
|
|
1
|
66
|
May 7, 2026
|
|
Syntax for Calling Prolog from C
|
|
8
|
163
|
May 6, 2026
|
|
Which parsing algorithms do you use for your own implementation of Prolog?
|
|
3
|
170
|
May 5, 2026
|
|
Composing an arithmetic function in a loop (but without univ)
|
|
5
|
86
|
May 4, 2026
|
|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
130
|
May 3, 2026
|
|
Upgrade from 9.2.9 to 10.0.2 missing "system resources"
|
|
5
|
117
|
May 2, 2026
|
|
Patch to include zstd in libarchive
|
|
5
|
168
|
May 2, 2026
|
|
Janus and Python venv
|
|
11
|
555
|
April 30, 2026
|
|
Ann: SWI-Prolog 10.1.6
|
|
7
|
292
|
April 27, 2026
|
|
A thin Prolog wrapper for SQLite
|
|
4
|
146
|
April 26, 2026
|
|
How many days will it realistically take to code up a working prototype of WAM (without optimization)?
|
|
15
|
385
|
April 24, 2026
|
|
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26
|
|
0
|
85
|
April 23, 2026
|
|
Horn Clauses for Verification and Synthesis: 2nd CFP
|
|
0
|
62
|
April 23, 2026
|
|
LPNMR 2026 - Call for Workshops
|
|
0
|
49
|
April 22, 2026
|
|
New egraph pack v0.1.0 annoucement for term rewriting
|
|
17
|
346
|
April 21, 2026
|
|
Can ILP learn geometry rules with floating point numbers
|
|
19
|
577
|
April 21, 2026
|
|
Order and sorting
|
|
40
|
910
|
April 16, 2026
|