About the Nice to know category
|
|
0
|
586
|
October 4, 2019
|
Open Questions on compare/3
|
|
15
|
247
|
August 25, 2025
|
Mercio’s Idea (2012) in Prolog
|
|
0
|
71
|
August 19, 2025
|
Moon Shoot at compare/3
|
|
89
|
286
|
August 13, 2025
|
Szpilrajn Theorem and Suzumura Consistency
|
|
13
|
83
|
August 12, 2025
|
ChatGPT SWI-Prolog assistent
|
|
28
|
492
|
July 20, 2025
|
Python Prolog MCP server, using SWI Prolog
|
|
5
|
132
|
July 3, 2025
|
Slow calculations, use websockets to refresh webpage when finished
|
|
7
|
90
|
June 3, 2025
|
A bad news: CHR mailing list is no longer accessible
|
|
7
|
625
|
May 31, 2025
|
Run deterministic goals first, to improve performance and determinism
|
|
0
|
40
|
March 24, 2025
|
TIL: CLP (Q) is a natural consequence of CLP (FD)
|
|
13
|
135
|
March 24, 2025
|
Clipboard tip
|
|
4
|
68
|
January 23, 2025
|
Build list of predicates that can be exported from a module
|
|
0
|
451
|
August 2, 2020
|
Group_by/4 examples
|
|
0
|
1370
|
July 22, 2020
|
Order_by/2 examples
|
|
0
|
997
|
July 21, 2020
|
Parsing of binary data
|
|
0
|
1322
|
October 9, 2019
|
List the properties for predicate(s)
|
|
0
|
1022
|
August 11, 2020
|
List modules importing predicate(s)
|
|
0
|
441
|
August 11, 2020
|
List predicate(s) calling predicate(s)
|
|
0
|
458
|
August 11, 2020
|
Example of prolog_trace_interception/4
|
|
0
|
591
|
September 17, 2021
|
How to avoid escaping characters in Prolog strings
|
|
0
|
1205
|
August 26, 2020
|
Thousand stars!
|
|
1
|
111
|
January 15, 2025
|
LLM prompt evals
|
|
0
|
52
|
January 6, 2025
|
Constrained traversal in Prolog - a short article
|
|
3
|
165
|
November 26, 2024
|
Signals reported as unknown
|
|
1
|
50
|
October 17, 2024
|
CNF/DNF are built in ZDD with almost zero cost
|
|
38
|
1151
|
September 20, 2024
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
69
|
August 20, 2024
|
Change in performance measures with non-tail recursion
|
|
9
|
130
|
July 16, 2024
|
SWISH now allows for attributed variables
|
|
4
|
233
|
March 26, 2024
|
Color palette / color scheme generator
|
|
1
|
507
|
February 11, 2024
|