append(X, Y, Y) creates cyclic term
|
|
14
|
522
|
July 19, 2023
|
Changes to SWI-cpp.h
|
|
62
|
2609
|
July 12, 2023
|
CLP Optimizations Solved! Should I have known?
|
|
8
|
451
|
June 13, 2023
|
LLMs and SWI-Prolog - a few shared thoughts
|
|
4
|
1047
|
June 2, 2023
|
Interpreter targeting LLVM
|
|
6
|
641
|
May 3, 2023
|
Blog Post on Harrop Clauses and Scoped Dynamic Databases
|
|
13
|
650
|
April 22, 2023
|
Comma as atom?
|
|
7
|
1442
|
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
|
708
|
March 17, 2023
|
Exhausting decimal Munichausen numbers in Prolog under convention 0^0 = 1
|
|
9
|
334
|
March 15, 2023
|
GPT-3 swipl API?
|
|
2
|
394
|
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
|
409
|
December 25, 2022
|
Add to library(apply): any/2 (or include/2); foldl helper
|
|
19
|
3511
|
November 28, 2022
|
A logical reading in a specification on division on family of sets similar to division by 0
|
|
9
|
388
|
November 25, 2022
|
SWI-Prolog on Helix needing a tree-sitter?
|
|
12
|
2291
|
October 27, 2022
|
Correct floating point arithmetic
|
|
57
|
1816
|
October 26, 2022
|
clpBNR flag management
|
|
22
|
548
|
October 14, 2022
|
Prolog newbie interested in database ACID transactions (theory)
|
|
8
|
656
|
October 8, 2022
|
Prolog/Terminus/Pengines
|
|
12
|
731
|
October 5, 2022
|
Zeromq messaging infrastructure -
|
|
1
|
502
|
September 19, 2022
|
A dark mode for SWI Prolog?
|
|
4
|
2976
|
September 18, 2022
|
Ada and Swi Prolog foreign language lib (C++)
|
|
0
|
349
|
September 5, 2022
|
Semi-deterministic version of `nth0` as C primitive
|
|
14
|
702
|
July 20, 2022
|
SemMedDB and Prolog
|
|
6
|
694
|
July 13, 2022
|
Naming clarification about delimited continuation (reset/3 and shift/1)
|
|
8
|
980
|
July 4, 2022
|
It is useful to try and capture the story of a predicate or a feature in the docs?
|
|
24
|
942
|
June 30, 2022
|
Windows vs Linux performance
|
|
0
|
557
|
June 30, 2022
|
Any zk-snark Prolog projects out there?
|
|
0
|
511
|
June 30, 2022
|
Update: Rules and visual syntax in Praxis
|
|
1
|
515
|
June 29, 2022
|