|
Recursion optimization and stack overflow from version 10.0.0
|
|
8
|
192
|
June 15, 2026
|
|
Ann: SWI-Prolog 10.1.9
|
|
0
|
58
|
June 15, 2026
|
|
Ann: SWI-Prolog 10.1.8
|
|
4
|
215
|
June 15, 2026
|
|
Verifiable Reasoning AI for Education – Looking to Connect
|
|
4
|
196
|
June 11, 2026
|
|
Basic CHR question
|
|
4
|
86
|
June 11, 2026
|
|
Is it possible to get portable current_date(date(Y, M, D))?
|
|
1
|
73
|
June 10, 2026
|
|
Resolving MQI ambiguities
|
|
0
|
55
|
June 9, 2026
|
|
Can a directed-graph-structured knowledge base give negation a geometric witness?
|
|
0
|
45
|
June 6, 2026
|
|
CHR x CLP behaviour
|
|
3
|
102
|
June 5, 2026
|
|
Prolog error
|
|
3
|
60
|
June 3, 2026
|
|
Making the case for rational numbers ("Rump example")
|
|
0
|
58
|
June 3, 2026
|
|
Swipl-win: no GUI
|
|
3
|
75
|
May 27, 2026
|
|
I think I found a bug
|
|
11
|
218
|
May 26, 2026
|
|
Engine timeout and cross-thread destroy issues
|
|
2
|
131
|
May 22, 2026
|
|
New to Prolog,
|
|
3
|
104
|
May 22, 2026
|
|
Mute ws_discard_input()
|
|
18
|
193
|
May 21, 2026
|
|
How to use swipl within my C++ program?
|
|
22
|
232
|
May 20, 2026
|
|
SEGV in tabled deterministic predicate, but only when compiled
|
|
16
|
140
|
May 20, 2026
|
|
BUG: internal error in GUI debugger
|
|
4
|
93
|
May 20, 2026
|
|
CANCELED: Problem installing janus_swi for SWI 10.0.2
|
|
1
|
41
|
May 18, 2026
|
|
Ann: SWI-Prolog 10.1.7
|
|
7
|
230
|
May 18, 2026
|
|
Prolog Basics Explained with Pokémon
|
|
0
|
70
|
May 17, 2026
|
|
Upstreaming `ord_lookup`, `ord_range` and `rb_visit_range`
|
|
7
|
132
|
May 15, 2026
|
|
Odbc_prepare error when using library(odbc) with DuckDB
|
|
1
|
48
|
May 15, 2026
|
|
Neurosymbolic AI
|
|
28
|
4459
|
May 13, 2026
|
|
Ctest vs. test_installation (case closed)
|
|
0
|
36
|
May 10, 2026
|
|
Clp interface with egraph
|
|
0
|
58
|
May 10, 2026
|
|
Run swish locally
|
|
5
|
79
|
May 10, 2026
|
|
Should there be compiler/runtime warnings when using debug/1 incorrectly?
|
|
0
|
32
|
May 9, 2026
|
|
Coverage - Missed at these PC offsets - Warnings
|
|
0
|
36
|
May 8, 2026
|