|
Gregory Duck's PhD thesis on CHR compilation
|
|
2
|
257
|
December 27, 2023
|
|
Domicles -- A novel Dominoes puzzle made with CLPFD
|
|
0
|
246
|
December 20, 2023
|
|
Prolog and data science
|
|
0
|
466
|
December 13, 2023
|
|
Porting the SWI-Prolog benchmark suite: comparing 8 Prolog systems
|
|
24
|
2415
|
November 29, 2023
|
|
OWL Reasoners still useable in 2023 (paper)
|
|
0
|
281
|
September 14, 2023
|
|
How to call an external script from PostgreSQL
|
|
0
|
268
|
September 23, 2023
|
|
Proceedings 39th International Conference on Logic Programming
|
|
0
|
345
|
August 30, 2023
|
|
Calling Prolog from Python
|
|
0
|
274
|
July 26, 2023
|
|
A faster (and safe?) reverse
|
|
6
|
715
|
February 5, 2023
|
|
ChatGPT Plugin - A basic example using SWI-Prolog on the backend
|
|
1
|
1498
|
June 11, 2023
|
|
Efficiently require a specific cardinality in clpfd
|
|
1
|
325
|
June 6, 2023
|
|
Building a Vector Database to Make Use of Vector Embeddings - (TerminusDB blog entry)
|
|
0
|
344
|
June 2, 2023
|
|
Using Windows with SWI-Prolog HTTP Server, JSON and Curl
|
|
0
|
567
|
May 17, 2023
|
|
Push-back lists on DCG rule heads
|
|
1
|
350
|
May 10, 2023
|
|
Tracking how/why a term is ground
|
|
6
|
625
|
May 9, 2023
|
|
Experience CozoDB: The Hybrid Relational-Graph-Vector Database - The Hippocampus for LLMs
|
|
0
|
795
|
April 21, 2023
|
|
Regex generator given example text and selected parts of text generates a Regex
|
|
0
|
554
|
March 28, 2023
|
|
Nice WASM example working with a web page
|
|
0
|
269
|
March 24, 2023
|
|
Sometimes you just can't get an exact match on an SWI-Prolog error message
|
|
2
|
442
|
March 2, 2023
|
|
Debug/3 messages reverse lookup
|
|
0
|
265
|
March 1, 2023
|
|
Modifying debug/3 by using message_prefix_hook/2
|
|
0
|
258
|
February 28, 2023
|
|
SWI-Prolog Foreign Language Interface (MSYS2 - DLL)
|
|
0
|
603
|
February 18, 2023
|
|
Improving backtracing behavior
|
|
1
|
295
|
February 16, 2023
|
|
Quite a few basic Prolog questions of ChatGPT
|
|
6
|
2198
|
February 8, 2023
|
|
Data types with Negation (never heard of Chu space before this)
|
|
3
|
393
|
February 7, 2023
|
|
ChatGPT versus a Prolog Exam
|
|
0
|
352
|
February 7, 2023
|
|
Scryer Prolog (scryer.pl) documentation announcement discussion on Hacker News
|
|
0
|
929
|
February 5, 2023
|
|
Library(persistency) data files must have a blank last line
|
|
0
|
272
|
January 30, 2023
|
|
Wine 8.0 released
|
|
0
|
261
|
January 25, 2023
|
|
`tmp_file_stream/3` is easy to use
|
|
0
|
250
|
January 23, 2023
|