|
About the General category
|
|
0
|
278
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
3150
|
February 4, 2019
|
|
Fast Term Factorization via Paige-Tarjan: Bypassing ==/2 and compare/2
|
|
16
|
182
|
July 15, 2026
|
|
Prolog in Production: High-Concurrency Transaction Engine under Strict Constraints
|
|
0
|
36
|
July 15, 2026
|
|
Showcase: 6.9-Hour Endurance & Concurrency Test of a Commercial POS Core Engine (140 Billion Inferences, Zero Memory Leak)
|
|
1
|
50
|
July 15, 2026
|
|
Bug in unifying dictionaries that contain CLP(Q) constraints
|
|
4
|
71
|
July 14, 2026
|
|
Bug in clause/2?
|
|
12
|
135
|
July 11, 2026
|
|
Problems tcp/ip tcp_connect/2 to tcp_connect/3 while upgrading from 8.x to 9.x or 10.x
|
|
1
|
47
|
July 6, 2026
|
|
Issues with UNC path
|
|
9
|
169
|
July 1, 2026
|
|
SWI-Prolog MCP server and service - Reply # 01
|
|
3
|
106
|
July 1, 2026
|
|
Personal notes on health, AI, and the direction of SWI-Prolog
|
|
24
|
421
|
June 28, 2026
|
|
Html//1: Element with attribute without value
|
|
4
|
77
|
June 26, 2026
|
|
For fun: rushhour game
|
|
2
|
65
|
June 26, 2026
|
|
Sharing prolog-fmt: authorative Prolog formatter
|
|
13
|
158
|
June 22, 2026
|
|
Elegant prolog codes on displaying answers for queries having multiple answers
|
|
9
|
188
|
June 22, 2026
|
|
Verifiable Reasoning AI for Education – Looking to Connect
|
|
4
|
200
|
June 11, 2026
|
|
Is it possible to get portable current_date(date(Y, M, D))?
|
|
1
|
75
|
June 10, 2026
|
|
CHR x CLP behaviour
|
|
3
|
102
|
June 5, 2026
|
|
Prolog error
|
|
3
|
62
|
June 3, 2026
|
|
Swipl-win: no GUI
|
|
3
|
78
|
May 27, 2026
|
|
Engine timeout and cross-thread destroy issues
|
|
2
|
134
|
May 22, 2026
|
|
New to Prolog,
|
|
3
|
104
|
May 22, 2026
|
|
Mute ws_discard_input()
|
|
18
|
206
|
May 21, 2026
|
|
Upstreaming `ord_lookup`, `ord_range` and `rb_visit_range`
|
|
7
|
136
|
May 15, 2026
|
|
Clp interface with egraph
|
|
0
|
58
|
May 10, 2026
|
|
Should there be compiler/runtime warnings when using debug/1 incorrectly?
|
|
0
|
33
|
May 9, 2026
|
|
Tools - View threads missing resource
|
|
1
|
53
|
May 8, 2026
|
|
Syntax for Calling Prolog from C
|
|
8
|
117
|
May 6, 2026
|
|
Which parsing algorithms do you use for your own implementation of Prolog?
|
|
3
|
130
|
May 5, 2026
|
|
Composing an arithmetic function in a loop (but without univ)
|
|
5
|
61
|
May 4, 2026
|