|
About the General category
|
|
0
|
283
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
3167
|
February 4, 2019
|
|
Inspecting programs with attributed variables using clause/2
|
|
51
|
367
|
August 21, 2026
|
|
Can language models learn unknown game rules?
|
|
0
|
19
|
August 21, 2026
|
|
Multiple swi prolog webservers
|
|
3
|
43
|
August 21, 2026
|
|
Towards Structured State Threading
|
|
2
|
34
|
August 20, 2026
|
|
Sets of rules as conjunctions and/or disjunctions
|
|
42
|
458
|
August 16, 2026
|
|
Prolog code
|
|
1
|
63
|
August 16, 2026
|
|
I've created TrackLog: a collection of Prolog libraries, examples, and guidelines for building a personal knowledge base in pure logic
|
|
0
|
78
|
August 11, 2026
|
|
Pong Game Challenge
|
|
5
|
124
|
August 9, 2026
|
|
Setting up SWISH for collaboration
|
|
7
|
124
|
August 6, 2026
|
|
Listing/1 works slowly in specific circrumstances
|
|
5
|
85
|
August 6, 2026
|
|
For fun: rushhour game
|
|
14
|
237
|
August 5, 2026
|
|
Help with extremely large integer arithmetic
|
|
13
|
217
|
August 3, 2026
|
|
RE: For fun: rushhour game
|
|
1
|
57
|
August 1, 2026
|
|
Personal notes on health, AI, and the direction of SWI-Prolog
|
|
26
|
628
|
July 31, 2026
|
|
Showcase: 6.9-Hour Endurance & Concurrency Test of a Commercial POS Core Engine (140 Billion Inferences, Zero Memory Leak)
|
|
7
|
179
|
July 27, 2026
|
|
The Unrusting Blade: An Offline-First LogicBiz V.2.0 Powered by SWI-Prolog & SQLCipher - Reply 01
|
|
8
|
163
|
July 25, 2026
|
|
Fast Term Factorization via Paige-Tarjan: Bypassing ==/2 and compare/2
|
|
16
|
245
|
July 15, 2026
|
|
Bug in unifying dictionaries that contain CLP(Q) constraints
|
|
4
|
105
|
July 14, 2026
|
|
Bug in clause/2?
|
|
12
|
191
|
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
|
70
|
July 6, 2026
|
|
Issues with UNC path
|
|
9
|
198
|
July 1, 2026
|
|
SWI-Prolog MCP server and service - Reply # 01
|
|
3
|
143
|
July 1, 2026
|
|
Html//1: Element with attribute without value
|
|
4
|
95
|
June 26, 2026
|
|
Sharing prolog-fmt: authorative Prolog formatter
|
|
13
|
196
|
June 22, 2026
|
|
Elegant prolog codes on displaying answers for queries having multiple answers
|
|
9
|
224
|
June 22, 2026
|
|
Verifiable Reasoning AI for Education – Looking to Connect
|
|
4
|
216
|
June 11, 2026
|
|
Is it possible to get portable current_date(date(Y, M, D))?
|
|
1
|
85
|
June 10, 2026
|
|
CHR x CLP behaviour
|
|
3
|
115
|
June 5, 2026
|