|
About the Discussion category
|
|
0
|
1782
|
November 2, 2020
|
|
Merged Heap/Stack versus WAM resp. ZIP
|
|
1
|
87
|
August 18, 2025
|
|
Library(rbtrees) with Higher Order Plugin
|
|
2
|
35
|
August 7, 2025
|
|
Using `[]` as predicate name
|
|
10
|
95
|
July 30, 2025
|
|
Enhanced version of text profiler data
|
|
4
|
29
|
July 24, 2025
|
|
Double_quotes flag and DCGs
|
|
12
|
807
|
June 30, 2025
|
|
A dark mode for SWI Prolog?
|
|
4
|
3113
|
September 18, 2022
|
|
Neurosymbolic AI
|
|
20
|
3774
|
February 23, 2021
|
|
Playing around with local LLM and having issues handling chunked responses
|
|
3
|
96
|
May 2, 2025
|
|
Prolog LSP now supports colours (Discussion)
|
|
27
|
1327
|
April 22, 2025
|
|
Documentation systems (PlDoc, LpDoc, etc.)
|
|
8
|
73
|
April 19, 2025
|
|
Building on MacOS in 2024
|
|
3
|
141
|
March 4, 2025
|
|
Janus and Python venv
|
|
9
|
375
|
February 20, 2025
|
|
I am proud to present my first OEIS numbers with the help of swi-prolog
|
|
0
|
77
|
January 28, 2025
|
|
Pack publish policies
|
|
4
|
42
|
December 4, 2024
|
|
Dataframe input recommendations
|
|
3
|
88
|
October 27, 2024
|
|
MacOS distribution issues
|
|
6
|
106
|
September 8, 2024
|
|
Dealing with state
|
|
40
|
1092
|
August 11, 2024
|
|
Predicate member/2 - Reflections based on "The Craft of Prolog" by Richard O'Keefe
|
|
19
|
738
|
August 10, 2024
|
|
SWI Prolog and knowledge graphs
|
|
30
|
438
|
August 1, 2024
|
|
How to reverse the output of proof printing in this fork of seqprover.pl
|
|
5
|
197
|
May 20, 2024
|
|
Why are packages maintained as git submodules?
|
|
7
|
89
|
July 14, 2024
|
|
Announcing swipl-nix - replies
|
|
3
|
45
|
July 10, 2024
|
|
Internal data representation changes in GIT version - replies
|
|
7
|
13
|
April 8, 2024
|
|
"_" (digit groups) in numbers (floating point)
|
|
0
|
48
|
June 23, 2024
|
|
Generalizing aggregate/3 by adding foldl semantics
|
|
0
|
242
|
June 23, 2024
|
|
A safer C API
|
|
3
|
147
|
May 31, 2024
|
|
Implementing stacks and queues in Prolog - Depth-first and Breadth-first search
|
|
32
|
760
|
April 28, 2024
|
|
Solve logical program as a linear system of (in)equalities
|
|
12
|
205
|
April 11, 2024
|
|
(C/C++) Blobs and the flags for "unique" and "nocopy"
|
|
6
|
262
|
April 8, 2024
|