|
About the Nice to know category
|
|
0
|
585
|
October 4, 2019
|
|
Slow calculations, use websockets to refresh webpage when finished
|
|
7
|
87
|
June 3, 2025
|
|
A bad news: CHR mailing list is no longer accessible
|
|
7
|
620
|
May 31, 2025
|
|
ChatGPT SWI-Prolog assistent
|
|
24
|
347
|
May 6, 2025
|
|
Run deterministic goals first, to improve performance and determinism
|
|
0
|
37
|
March 24, 2025
|
|
TIL: CLP (Q) is a natural consequence of CLP (FD)
|
|
13
|
124
|
March 24, 2025
|
|
Clipboard tip
|
|
4
|
59
|
January 23, 2025
|
|
Build list of predicates that can be exported from a module
|
|
0
|
449
|
August 2, 2020
|
|
Group_by/4 examples
|
|
0
|
1362
|
July 22, 2020
|
|
Order_by/2 examples
|
|
0
|
995
|
July 21, 2020
|
|
Parsing of binary data
|
|
0
|
1318
|
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
|
588
|
September 17, 2021
|
|
How to avoid escaping characters in Prolog strings
|
|
0
|
1203
|
August 26, 2020
|
|
Thousand stars!
|
|
1
|
108
|
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
|
1121
|
September 20, 2024
|
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
66
|
August 20, 2024
|
|
Change in performance measures with non-tail recursion
|
|
9
|
119
|
July 16, 2024
|
|
SWISH now allows for attributed variables
|
|
4
|
231
|
March 26, 2024
|
|
Color palette / color scheme generator
|
|
1
|
500
|
February 11, 2024
|
|
The number of paths of the rectangular grid graph 13 x 13
|
|
13
|
738
|
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
|
447
|
December 13, 2023
|
|
Porting the SWI-Prolog benchmark suite: comparing 8 Prolog systems
|
|
27
|
2153
|
November 29, 2023
|