|
Example of prolog_trace_interception/4
|
|
0
|
638
|
September 17, 2021
|
|
How to avoid escaping characters in Prolog strings
|
|
0
|
1252
|
August 26, 2020
|
|
Thousand stars!
|
|
1
|
162
|
January 15, 2025
|
|
LLM prompt evals
|
|
0
|
97
|
January 6, 2025
|
|
Constrained traversal in Prolog - a short article
|
|
3
|
210
|
November 26, 2024
|
|
Signals reported as unknown
|
|
1
|
93
|
October 17, 2024
|
|
CNF/DNF are built in ZDD with almost zero cost
|
|
32
|
1404
|
September 20, 2024
|
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
175
|
August 20, 2024
|
|
Change in performance measures with non-tail recursion
|
|
9
|
214
|
July 16, 2024
|
|
SWISH now allows for attributed variables
|
|
4
|
292
|
March 26, 2024
|
|
Color palette / color scheme generator
|
|
1
|
553
|
February 11, 2024
|
|
The number of paths of the rectangular grid graph 13 x 13
|
|
10
|
945
|
January 14, 2024
|
|
Gregory Duck's PhD thesis on CHR compilation
|
|
2
|
290
|
December 27, 2023
|
|
Domicles -- A novel Dominoes puzzle made with CLPFD
|
|
0
|
270
|
December 20, 2023
|
|
Prolog and data science
|
|
0
|
500
|
December 13, 2023
|
|
Porting the SWI-Prolog benchmark suite: comparing 8 Prolog systems
|
|
23
|
3000
|
November 28, 2023
|
|
OWL Reasoners still useable in 2023 (paper)
|
|
0
|
302
|
September 14, 2023
|
|
How to call an external script from PostgreSQL
|
|
0
|
291
|
September 23, 2023
|
|
Proceedings 39th International Conference on Logic Programming
|
|
0
|
359
|
August 30, 2023
|
|
Calling Prolog from Python
|
|
0
|
298
|
July 26, 2023
|
|
A faster (and safe?) reverse
|
|
6
|
770
|
February 5, 2023
|
|
ChatGPT Plugin - A basic example using SWI-Prolog on the backend
|
|
0
|
1572
|
June 10, 2023
|
|
Efficiently require a specific cardinality in clpfd
|
|
1
|
357
|
June 6, 2023
|
|
Building a Vector Database to Make Use of Vector Embeddings - (TerminusDB blog entry)
|
|
0
|
366
|
June 2, 2023
|
|
Using Windows with SWI-Prolog HTTP Server, JSON and Curl
|
|
0
|
606
|
May 17, 2023
|
|
Push-back lists on DCG rule heads
|
|
1
|
381
|
May 10, 2023
|
|
Tracking how/why a term is ground
|
|
6
|
676
|
May 9, 2023
|
|
Experience CozoDB: The Hybrid Relational-Graph-Vector Database - The Hippocampus for LLMs
|
|
0
|
873
|
April 21, 2023
|
|
Regex generator given example text and selected parts of text generates a Regex
|
|
0
|
587
|
March 28, 2023
|
|
Nice WASM example working with a web page
|
|
0
|
277
|
March 24, 2023
|