|
Writing a text editor in prolog
|
|
7
|
983
|
September 28, 2023
|
|
Prolog universal server
|
|
8
|
312
|
September 8, 2023
|
|
LibBF binding
|
|
55
|
1581
|
August 21, 2023
|
|
Double_quotes flag and DCGs
|
|
7
|
627
|
July 22, 2023
|
|
append(X, Y, Y) creates cyclic term
|
|
14
|
526
|
July 19, 2023
|
|
Changes to SWI-cpp.h
|
|
62
|
2617
|
July 12, 2023
|
|
CLP Optimizations Solved! Should I have known?
|
|
8
|
459
|
June 13, 2023
|
|
LLMs and SWI-Prolog - a few shared thoughts
|
|
4
|
1061
|
June 2, 2023
|
|
Interpreter targeting LLVM
|
|
6
|
660
|
May 3, 2023
|
|
Blog Post on Harrop Clauses and Scoped Dynamic Databases
|
|
13
|
660
|
April 22, 2023
|
|
Comma as atom?
|
|
7
|
1454
|
April 7, 2023
|
|
C++ interface inline or not?
|
|
5
|
481
|
March 28, 2023
|
|
I Can’t Write, but I Want To Tell A Story (Discussion)
|
|
2
|
710
|
March 17, 2023
|
|
Exhausting decimal Munichausen numbers in Prolog under convention 0^0 = 1
|
|
9
|
335
|
March 15, 2023
|
|
GPT-3 swipl API?
|
|
2
|
395
|
February 15, 2023
|
|
Freeze(_, Goal) ignores Goal
|
|
2
|
260
|
January 27, 2023
|
|
Proposing the HandAxe Pattern Language: fully unambiguous names for operations on lists, sets, and dictionaries!
|
|
2
|
412
|
December 25, 2022
|
|
Add to library(apply): any/2 (or include/2); foldl helper
|
|
19
|
3513
|
November 28, 2022
|
|
A logical reading in a specification on division on family of sets similar to division by 0
|
|
9
|
390
|
November 25, 2022
|
|
SWI-Prolog on Helix needing a tree-sitter?
|
|
12
|
2310
|
October 27, 2022
|
|
Correct floating point arithmetic
|
|
57
|
1834
|
October 26, 2022
|
|
clpBNR flag management
|
|
22
|
548
|
October 14, 2022
|
|
Prolog newbie interested in database ACID transactions (theory)
|
|
8
|
658
|
October 8, 2022
|
|
Prolog/Terminus/Pengines
|
|
12
|
735
|
October 5, 2022
|
|
Zeromq messaging infrastructure -
|
|
1
|
506
|
September 19, 2022
|
|
A dark mode for SWI Prolog?
|
|
4
|
3019
|
September 18, 2022
|
|
Ada and Swi Prolog foreign language lib (C++)
|
|
0
|
351
|
September 5, 2022
|
|
Semi-deterministic version of `nth0` as C primitive
|
|
14
|
703
|
July 20, 2022
|
|
SemMedDB and Prolog
|
|
6
|
698
|
July 13, 2022
|
|
Naming clarification about delimited continuation (reset/3 and shift/1)
|
|
8
|
997
|
July 4, 2022
|