|
Unintuitive debug/3 - format/2 interaction
|
|
7
|
161
|
July 1, 2026
|
|
SWI-Prolog MCP server and service
|
|
0
|
129
|
June 30, 2026
|
|
Bug hunting toolbox
|
|
3
|
3042
|
June 28, 2026
|
|
Html//1: Element with attribute without value
|
|
4
|
99
|
June 26, 2026
|
|
Tricky CHR behaviour
|
|
10
|
261
|
June 26, 2026
|
|
Ann: SWI-Prolog 10.1.10
|
|
0
|
86
|
June 25, 2026
|
|
Debugging two http_server inside docker containers
|
|
23
|
354
|
June 25, 2026
|
|
Should the reference manual document differences between the current version and earlier versions?
|
|
4
|
516
|
June 23, 2026
|
|
Sharing prolog-fmt: authorative Prolog formatter
|
|
13
|
223
|
June 22, 2026
|
|
Elegant prolog codes on displaying answers for queries having multiple answers
|
|
9
|
249
|
June 22, 2026
|
|
Current status of s(CASP)
|
|
9
|
317
|
June 19, 2026
|
|
GCC 16 and PGO
|
|
0
|
59
|
June 19, 2026
|
|
Towards signed releases for Windows
|
|
0
|
57
|
June 19, 2026
|
|
XPCE PDF function
|
|
1
|
90
|
June 17, 2026
|
|
Recursion optimization and stack overflow from version 10.0.0
|
|
8
|
244
|
June 15, 2026
|
|
Ann: SWI-Prolog 10.1.9
|
|
0
|
91
|
June 15, 2026
|
|
Ann: SWI-Prolog 10.1.8
|
|
4
|
280
|
June 15, 2026
|
|
Verifiable Reasoning AI for Education – Looking to Connect
|
|
4
|
224
|
June 11, 2026
|
|
Basic CHR question
|
|
4
|
108
|
June 11, 2026
|
|
Is it possible to get portable current_date(date(Y, M, D))?
|
|
1
|
90
|
June 10, 2026
|
|
Resolving MQI ambiguities
|
|
0
|
72
|
June 9, 2026
|
|
Can a directed-graph-structured knowledge base give negation a geometric witness?
|
|
0
|
62
|
June 6, 2026
|
|
CHR x CLP behaviour
|
|
3
|
124
|
June 5, 2026
|
|
Prolog error
|
|
3
|
94
|
June 3, 2026
|
|
Making the case for rational numbers ("Rump example")
|
|
0
|
81
|
June 3, 2026
|
|
Swipl-win: no GUI
|
|
3
|
118
|
May 27, 2026
|
|
Engine timeout and cross-thread destroy issues
|
|
2
|
206
|
May 22, 2026
|
|
New to Prolog,
|
|
3
|
141
|
May 22, 2026
|
|
Mute ws_discard_input()
|
|
18
|
450
|
May 21, 2026
|
|
How to use swipl within my C++ program?
|
|
22
|
375
|
May 20, 2026
|