|
LLM prompt evals
|
|
0
|
86
|
January 6, 2025
|
|
Constrained traversal in Prolog - a short article
|
|
3
|
191
|
November 26, 2024
|
|
Signals reported as unknown
|
|
1
|
79
|
October 17, 2024
|
|
CNF/DNF are built in ZDD with almost zero cost
|
|
32
|
1254
|
September 20, 2024
|
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
133
|
August 20, 2024
|
|
Change in performance measures with non-tail recursion
|
|
9
|
177
|
July 16, 2024
|
|
SWISH now allows for attributed variables
|
|
4
|
273
|
March 26, 2024
|
|
Color palette / color scheme generator
|
|
1
|
535
|
February 11, 2024
|
|
The number of paths of the rectangular grid graph 13 x 13
|
|
10
|
868
|
January 14, 2024
|
|
Gregory Duck's PhD thesis on CHR compilation
|
|
2
|
274
|
December 27, 2023
|
|
Domicles -- A novel Dominoes puzzle made with CLPFD
|
|
0
|
261
|
December 20, 2023
|
|
Prolog and data science
|
|
0
|
483
|
December 13, 2023
|
|
Porting the SWI-Prolog benchmark suite: comparing 8 Prolog systems
|
|
24
|
2753
|
November 29, 2023
|
|
OWL Reasoners still useable in 2023 (paper)
|
|
0
|
291
|
September 14, 2023
|
|
How to call an external script from PostgreSQL
|
|
0
|
281
|
September 23, 2023
|
|
Proceedings 39th International Conference on Logic Programming
|
|
0
|
349
|
August 30, 2023
|
|
Calling Prolog from Python
|
|
0
|
287
|
July 26, 2023
|
|
A faster (and safe?) reverse
|
|
6
|
740
|
February 5, 2023
|
|
ChatGPT Plugin - A basic example using SWI-Prolog on the backend
|
|
1
|
1540
|
June 11, 2023
|
|
Efficiently require a specific cardinality in clpfd
|
|
1
|
343
|
June 6, 2023
|
|
Building a Vector Database to Make Use of Vector Embeddings - (TerminusDB blog entry)
|
|
0
|
358
|
June 2, 2023
|
|
Using Windows with SWI-Prolog HTTP Server, JSON and Curl
|
|
0
|
584
|
May 17, 2023
|
|
Push-back lists on DCG rule heads
|
|
1
|
368
|
May 10, 2023
|
|
Tracking how/why a term is ground
|
|
6
|
642
|
May 9, 2023
|
|
Experience CozoDB: The Hybrid Relational-Graph-Vector Database - The Hippocampus for LLMs
|
|
0
|
831
|
April 21, 2023
|
|
Regex generator given example text and selected parts of text generates a Regex
|
|
0
|
567
|
March 28, 2023
|
|
Nice WASM example working with a web page
|
|
0
|
272
|
March 24, 2023
|
|
Sometimes you just can't get an exact match on an SWI-Prolog error message
|
|
2
|
458
|
March 2, 2023
|
|
Debug/3 messages reverse lookup
|
|
0
|
271
|
March 1, 2023
|
|
Modifying debug/3 by using message_prefix_hook/2
|
|
0
|
265
|
February 28, 2023
|