|
About the Discussion category
|
|
0
|
1776
|
November 2, 2020
|
|
Building on MacOS in 2024
|
|
1
|
65
|
January 20, 2025
|
|
Pack publish policies
|
|
4
|
36
|
December 4, 2024
|
|
Dataframe input recommendations
|
|
3
|
79
|
October 27, 2024
|
|
MacOS distribution issues
|
|
6
|
82
|
September 8, 2024
|
|
Dealing with state
|
|
40
|
1050
|
August 11, 2024
|
|
Predicate member/2 - Reflections based on "The Craft of Prolog" by Richard O'Keefe
|
|
19
|
692
|
August 10, 2024
|
|
SWI Prolog and knowledge graphs
|
|
30
|
360
|
August 1, 2024
|
|
How to reverse the output of proof printing in this fork of seqprover.pl
|
|
5
|
191
|
May 20, 2024
|
|
Why are packages maintained as git submodules?
|
|
7
|
65
|
July 14, 2024
|
|
Announcing swipl-nix - replies
|
|
3
|
36
|
July 10, 2024
|
|
Internal data representation changes in GIT version - replies
|
|
7
|
6
|
April 8, 2024
|
|
"_" (digit groups) in numbers (floating point)
|
|
0
|
44
|
June 23, 2024
|
|
Generalizing aggregate/3 by adding foldl semantics
|
|
0
|
236
|
June 23, 2024
|
|
A safer C API
|
|
3
|
134
|
May 31, 2024
|
|
Implementing stacks and queues in Prolog - Depth-first and Breadth-first search
|
|
32
|
623
|
April 28, 2024
|
|
Solve logical program as a linear system of (in)equalities
|
|
12
|
201
|
April 11, 2024
|
|
(C/C++) Blobs and the flags for "unique" and "nocopy"
|
|
6
|
257
|
April 8, 2024
|
|
License Changes Concerning Redis, An Optional Dependency For Swish
|
|
6
|
338
|
March 31, 2024
|
|
Enhancements to plunit
|
|
6
|
434
|
March 13, 2024
|
|
Distributed SWISH
|
|
10
|
273
|
March 13, 2024
|
|
Dif - potential performance improvement?
|
|
4
|
216
|
February 29, 2024
|
|
Symbolic links and real file names [mainly Windows Platform]
|
|
5
|
380
|
October 14, 2023
|
|
DCG optimisation and non-optimisation with multiple accumulators
|
|
3
|
325
|
October 10, 2023
|
|
Writing a text editor in prolog
|
|
7
|
943
|
September 28, 2023
|
|
Janus and Python venv
|
|
5
|
299
|
September 18, 2023
|
|
Prolog universal server
|
|
8
|
306
|
September 8, 2023
|
|
LibBF binding
|
|
55
|
1577
|
August 21, 2023
|
|
Double_quotes flag and DCGs
|
|
7
|
611
|
July 22, 2023
|
|
append(X, Y, Y) creates cyclic term
|
|
14
|
522
|
July 19, 2023
|