About the Nice to know category
|
|
0
|
585
|
October 4, 2019
|
ChatGPT SWI-Prolog assistent
|
|
28
|
454
|
July 20, 2025
|
Python Prolog MCP server, using SWI Prolog
|
|
5
|
83
|
July 3, 2025
|
Slow calculations, use websockets to refresh webpage when finished
|
|
7
|
88
|
June 3, 2025
|
A bad news: CHR mailing list is no longer accessible
|
|
7
|
622
|
May 31, 2025
|
Run deterministic goals first, to improve performance and determinism
|
|
0
|
38
|
March 24, 2025
|
TIL: CLP (Q) is a natural consequence of CLP (FD)
|
|
13
|
131
|
March 24, 2025
|
Clipboard tip
|
|
4
|
65
|
January 23, 2025
|
Build list of predicates that can be exported from a module
|
|
0
|
450
|
August 2, 2020
|
Group_by/4 examples
|
|
0
|
1366
|
July 22, 2020
|
Order_by/2 examples
|
|
0
|
996
|
July 21, 2020
|
Parsing of binary data
|
|
0
|
1321
|
October 9, 2019
|
List the properties for predicate(s)
|
|
0
|
1021
|
August 11, 2020
|
List modules importing predicate(s)
|
|
0
|
441
|
August 11, 2020
|
List predicate(s) calling predicate(s)
|
|
0
|
457
|
August 11, 2020
|
Example of prolog_trace_interception/4
|
|
0
|
590
|
September 17, 2021
|
How to avoid escaping characters in Prolog strings
|
|
0
|
1205
|
August 26, 2020
|
Thousand stars!
|
|
1
|
109
|
January 15, 2025
|
LLM prompt evals
|
|
0
|
51
|
January 6, 2025
|
Constrained traversal in Prolog - a short article
|
|
3
|
164
|
November 26, 2024
|
Signals reported as unknown
|
|
1
|
49
|
October 17, 2024
|
CNF/DNF are built in ZDD with almost zero cost
|
|
38
|
1126
|
September 20, 2024
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
67
|
August 20, 2024
|
Change in performance measures with non-tail recursion
|
|
9
|
119
|
July 16, 2024
|
SWISH now allows for attributed variables
|
|
4
|
232
|
March 26, 2024
|
Color palette / color scheme generator
|
|
1
|
501
|
February 11, 2024
|
The number of paths of the rectangular grid graph 13 x 13
|
|
13
|
744
|
January 14, 2024
|
Gregory Duck's PhD thesis on CHR compilation
|
|
2
|
223
|
December 27, 2023
|
Domicles -- A novel Dominoes puzzle made with CLPFD
|
|
1
|
232
|
December 20, 2023
|
Prolog and data science
|
|
0
|
450
|
December 13, 2023
|