|
Installing and using third party packs in WASM swipl
|
|
10
|
312
|
August 25, 2026
|
|
SWI-Prolog MCP server and service - Reply # 02
|
|
0
|
92
|
August 23, 2026
|
|
Personal notes on health, AI, and the direction of SWI-Prolog
|
|
28
|
933
|
August 23, 2026
|
|
Bug logging into https://www.swi-prolog.org/
|
|
2
|
93
|
August 23, 2026
|
|
Inspecting programs with attributed variables using clause/2
|
|
54
|
691
|
August 22, 2026
|
|
ErgoAI engine on SWI-Prolog
|
|
0
|
114
|
August 21, 2026
|
|
Can language models learn unknown game rules?
|
|
0
|
95
|
August 21, 2026
|
|
Multiple swi prolog webservers
|
|
3
|
95
|
August 21, 2026
|
|
Towards Structured State Threading
|
|
2
|
98
|
August 20, 2026
|
|
Number before the REPL indicator
|
|
1
|
116
|
August 19, 2026
|
|
Sets of rules as conjunctions and/or disjunctions
|
|
42
|
680
|
August 16, 2026
|
|
Prolog code
|
|
1
|
117
|
August 16, 2026
|
|
Ann: SWI-Prolog 10.1.13
|
|
2
|
221
|
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
|
101
|
August 11, 2026
|
|
Pong Game Challenge
|
|
5
|
168
|
August 9, 2026
|
|
Setting up SWISH for collaboration
|
|
7
|
176
|
August 6, 2026
|
|
Listing/1 works slowly in specific circrumstances
|
|
5
|
116
|
August 6, 2026
|
|
For fun: rushhour game
|
|
14
|
287
|
August 5, 2026
|
|
RE: For fun: rushhour game
|
|
1
|
62
|
August 1, 2026
|
|
What changed in library(macros)
|
|
10
|
343
|
July 28, 2026
|
|
Showcase: 6.9-Hour Endurance & Concurrency Test of a Commercial POS Core Engine (140 Billion Inferences, Zero Memory Leak)
|
|
7
|
233
|
July 27, 2026
|
|
The Unrusting Blade: An Offline-First LogicBiz V.2.0 Powered by SWI-Prolog & SQLCipher - Reply 01
|
|
8
|
221
|
July 25, 2026
|
|
Ann: SWI-Prolog 10.1.12
|
|
0
|
180
|
July 19, 2026
|
|
Correct floating point arithmetic
|
|
77
|
3219
|
July 19, 2026
|
|
Options, Windows file name case handling
|
|
0
|
58
|
July 18, 2026
|
|
I think I found a bug
|
|
15
|
410
|
July 17, 2026
|
|
Option preference (first or last)?
|
|
8
|
184
|
July 16, 2026
|
|
Fast Term Factorization via Paige-Tarjan: Bypassing ==/2 and compare/2
|
|
16
|
310
|
July 15, 2026
|
|
Bug in unifying dictionaries that contain CLP(Q) constraints
|
|
4
|
122
|
July 14, 2026
|
|
A Python MCP server for exposing Prolog to LLM agents
|
|
2
|
170
|
July 13, 2026
|