|
About the Discussion category
|
|
0
|
1388
|
November 2, 2020
|
|
Solve logical program as a linear system of (in)equalities
|
|
12
|
123
|
April 11, 2024
|
|
(C/C++) Blobs and the flags for "unique" and "nocopy"
|
|
6
|
207
|
April 8, 2024
|
|
License Changes Concerning Redis, An Optional Dependency For Swish
|
|
6
|
235
|
March 31, 2024
|
|
Enhancements to plunit
|
|
6
|
398
|
March 13, 2024
|
|
Distributed SWISH
|
|
10
|
208
|
March 13, 2024
|
|
Dif - potential performance improvement?
|
|
4
|
162
|
February 29, 2024
|
|
Predicate member/2 - Reflections based on "The Craft of Prolog" by Richard O'Keefe
|
|
21
|
434
|
November 4, 2023
|
|
Symbolic links and real file names [mainly Windows Platform]
|
|
5
|
273
|
October 14, 2023
|
|
DCG optimisation and non-optimisation with multiple accumulators
|
|
3
|
270
|
October 10, 2023
|
|
Dealing with state
|
|
40
|
801
|
October 7, 2023
|
|
Writing a text editor in prolog
|
|
7
|
619
|
September 28, 2023
|
|
Janus and Python venv
|
|
5
|
242
|
September 18, 2023
|
|
Prolog universal server
|
|
8
|
253
|
September 8, 2023
|
|
LibBF binding
|
|
55
|
1415
|
August 21, 2023
|
|
Double_quotes flag and DCGs
|
|
7
|
457
|
July 22, 2023
|
|
append(X, Y, Y) creates cyclic term
|
|
14
|
436
|
July 19, 2023
|
|
Changes to SWI-cpp.h
|
|
62
|
2320
|
July 12, 2023
|
|
CLP Optimizations Solved! Should I have known?
|
|
8
|
366
|
June 13, 2023
|
|
LLMs and SWI-Prolog - a few shared thoughts
|
|
4
|
814
|
June 2, 2023
|
|
Interpreter targeting LLVM
|
|
6
|
494
|
May 3, 2023
|
|
Blog Post on Harrop Clauses and Scoped Dynamic Databases
|
|
13
|
504
|
April 22, 2023
|
|
Comma as atom?
|
|
7
|
1229
|
April 7, 2023
|
|
C++ interface inline or not?
|
|
5
|
404
|
March 28, 2023
|
|
I Can’t Write, but I Want To Tell A Story (Discussion)
|
|
2
|
629
|
March 17, 2023
|
|
Exhausting decimal Munichausen numbers in Prolog under convention 0^0 = 1
|
|
9
|
312
|
March 15, 2023
|
|
GPT-3 swipl API?
|
|
2
|
356
|
February 15, 2023
|
|
Freeze(_, Goal) ignores Goal
|
|
2
|
218
|
January 27, 2023
|
|
Proposing the HandAxe Pattern Language: fully unambiguous names for operations on lists, sets, and dictionaries!
|
|
2
|
367
|
December 25, 2022
|
|
Add to library(apply): any/2 (or include/2); foldl helper
|
|
19
|
3389
|
November 28, 2022
|