ChatGPT Plugin - A basic example using SWI-Prolog on the backend
|
|
1
|
1375
|
June 11, 2023
|
Efficiently require a specific cardinality in clpfd
|
|
1
|
319
|
June 6, 2023
|
Building a Vector Database to Make Use of Vector Embeddings - (TerminusDB blog entry)
|
|
0
|
332
|
June 2, 2023
|
Using Windows with SWI-Prolog HTTP Server, JSON and Curl
|
|
0
|
556
|
May 17, 2023
|
Push-back lists on DCG rule heads
|
|
1
|
344
|
May 10, 2023
|
Tracking how/why a term is ground
|
|
6
|
606
|
May 9, 2023
|
Experience CozoDB: The Hybrid Relational-Graph-Vector Database - The Hippocampus for LLMs
|
|
0
|
776
|
April 21, 2023
|
Regex generator given example text and selected parts of text generates a Regex
|
|
0
|
531
|
March 28, 2023
|
Nice WASM example working with a web page
|
|
0
|
267
|
March 24, 2023
|
Sometimes you just can't get an exact match on an SWI-Prolog error message
|
|
2
|
427
|
March 2, 2023
|
Debug/3 messages reverse lookup
|
|
0
|
260
|
March 1, 2023
|
Modifying debug/3 by using message_prefix_hook/2
|
|
0
|
252
|
February 28, 2023
|
SWI-Prolog Foreign Language Interface (MSYS2 - DLL)
|
|
0
|
582
|
February 18, 2023
|
Improving backtracing behavior
|
|
2
|
288
|
February 16, 2023
|
Quite a few basic Prolog questions of ChatGPT
|
|
6
|
2120
|
February 8, 2023
|
Data types with Negation (never heard of Chu space before this)
|
|
3
|
389
|
February 7, 2023
|
ChatGPT versus a Prolog Exam
|
|
0
|
350
|
February 7, 2023
|
Scryer Prolog (scryer.pl) documentation announcement discussion on Hacker News
|
|
0
|
922
|
February 5, 2023
|
Library(persistency) data files must have a blank last line
|
|
0
|
269
|
January 30, 2023
|
Wine 8.0 released
|
|
0
|
259
|
January 25, 2023
|
`tmp_file_stream/3` is easy to use
|
|
0
|
248
|
January 23, 2023
|
Analyse big Prolog terms using SWISH
|
|
2
|
455
|
January 17, 2023
|
Best practices for printing
|
|
4
|
2889
|
January 12, 2023
|
Children of the Miracle: from Algol to Prolog
|
|
0
|
341
|
January 8, 2023
|
WSL and WSLg now work on Windows 10
|
|
0
|
396
|
December 20, 2022
|
DBpedia - structured information that resembles an open knowledge graph (OKG)
|
|
0
|
430
|
July 17, 2022
|
Automating Commonsense Reasoning with ASP and s(CASP)*
|
|
0
|
430
|
December 2, 2022
|
The Prolog Day Symposium - recordings and slides
|
|
0
|
307
|
December 1, 2022
|
Foldnum for integer intervals like foldl for lists
|
|
2
|
358
|
November 29, 2022
|
A simple but powerful generalization of path counting in rectangular grid graphs
|
|
0
|
332
|
October 31, 2022
|