|
Installing and using third party packs in WASM swipl
|
|
10
|
238
|
August 25, 2026
|
|
SWI-Prolog MCP server and service - Reply # 02
|
|
0
|
81
|
August 23, 2026
|
|
Personal notes on health, AI, and the direction of SWI-Prolog
|
|
28
|
802
|
August 23, 2026
|
|
Bug logging into https://www.swi-prolog.org/
|
|
2
|
83
|
August 23, 2026
|
|
Inspecting programs with attributed variables using clause/2
|
|
54
|
552
|
August 22, 2026
|
|
ErgoAI engine on SWI-Prolog
|
|
0
|
94
|
August 21, 2026
|
|
Can language models learn unknown game rules?
|
|
0
|
86
|
August 21, 2026
|
|
Multiple swi prolog webservers
|
|
3
|
90
|
August 21, 2026
|
|
Towards Structured State Threading
|
|
2
|
93
|
August 20, 2026
|
|
Number before the REPL indicator
|
|
1
|
101
|
August 19, 2026
|
|
Sets of rules as conjunctions and/or disjunctions
|
|
42
|
584
|
August 16, 2026
|
|
Prolog code
|
|
1
|
100
|
August 16, 2026
|
|
Ann: SWI-Prolog 10.1.13
|
|
2
|
196
|
August 11, 2026
|
|
I've created TrackLog: a collection of Prolog libraries, examples, and guidelines for building a personal knowledge base in pure logic
|
|
0
|
97
|
August 11, 2026
|
|
Pong Game Challenge
|
|
5
|
156
|
August 9, 2026
|
|
Setting up SWISH for collaboration
|
|
7
|
138
|
August 6, 2026
|
|
Listing/1 works slowly in specific circrumstances
|
|
5
|
101
|
August 6, 2026
|
|
For fun: rushhour game
|
|
14
|
254
|
August 5, 2026
|
|
RE: For fun: rushhour game
|
|
1
|
60
|
August 1, 2026
|
|
Display a variable with write
|
|
7
|
198
|
August 1, 2026
|
|
What changed in library(macros)
|
|
10
|
260
|
July 28, 2026
|
|
Showcase: 6.9-Hour Endurance & Concurrency Test of a Commercial POS Core Engine (140 Billion Inferences, Zero Memory Leak)
|
|
7
|
201
|
July 27, 2026
|
|
The Unrusting Blade: An Offline-First LogicBiz V.2.0 Powered by SWI-Prolog & SQLCipher - Reply 01
|
|
8
|
181
|
July 25, 2026
|
|
Ann: SWI-Prolog 10.1.12
|
|
0
|
159
|
July 19, 2026
|
|
Correct floating point arithmetic
|
|
77
|
2697
|
July 19, 2026
|
|
Options, Windows file name case handling
|
|
0
|
50
|
July 18, 2026
|
|
I think I found a bug
|
|
15
|
353
|
July 17, 2026
|
|
Option preference (first or last)?
|
|
8
|
156
|
July 16, 2026
|
|
Fast Term Factorization via Paige-Tarjan: Bypassing ==/2 and compare/2
|
|
16
|
266
|
July 15, 2026
|
|
Bug in unifying dictionaries that contain CLP(Q) constraints
|
|
4
|
113
|
July 14, 2026
|