|
About the Discussion category
|
|
0
|
1091
|
November 2, 2020
|
|
Freeze(_, Goal) ignores Goal
|
|
2
|
42
|
January 27, 2023
|
|
Proposing the HandAxe Pattern Language: fully unambiguous names for operations on lists, sets, and dictionaries!
|
|
2
|
125
|
December 25, 2022
|
|
Interesting project, use LLM to automate beginner answers here
|
|
0
|
143
|
December 23, 2022
|
|
Changes to SWI-cpp.h
|
|
57
|
1168
|
November 27, 2022
|
|
Add to library(apply): any/2 (or include/2); foldl helper
|
|
19
|
377
|
November 28, 2022
|
|
A logical reading in a specification on division on family of sets similar to division by 0
|
|
9
|
131
|
November 25, 2022
|
|
LibBF binding
|
|
51
|
607
|
November 14, 2022
|
|
SWI-Prolog on Helix needing a tree-sitter?
|
|
12
|
1299
|
October 27, 2022
|
|
Correct floating point arithmetic
|
|
57
|
494
|
October 26, 2022
|
|
clpBNR flag management
|
|
22
|
213
|
October 14, 2022
|
|
Prolog newbie interested in database ACID transactions (theory)
|
|
8
|
259
|
October 8, 2022
|
|
Prolog/Terminus/Pengines
|
|
13
|
295
|
October 5, 2022
|
|
Zeromq messaging infrastructure -
|
|
1
|
149
|
September 19, 2022
|
|
A dark mode for SWI Prolog?
|
|
4
|
1303
|
September 18, 2022
|
|
Ada and Swi Prolog foreign language lib (C++)
|
|
0
|
128
|
September 5, 2022
|
|
Semi-deterministic version of `nth0` as C primitive
|
|
14
|
313
|
July 20, 2022
|
|
SemMedDB and Prolog
|
|
6
|
220
|
July 13, 2022
|
|
Naming clarification about delimited continuation (reset/3 and shift/1)
|
|
8
|
416
|
July 4, 2022
|
|
It is useful to try and capture the story of a predicate or a feature in the docs?
|
|
24
|
473
|
June 30, 2022
|
|
Windows vs Linux performance
|
|
0
|
166
|
June 30, 2022
|
|
Any zk-snark Prolog projects out there?
|
|
0
|
167
|
June 30, 2022
|
|
Update: Rules and visual syntax in Praxis
|
|
1
|
226
|
June 29, 2022
|
|
Unicode symbols, and a possible numerical paradox!
|
|
46
|
654
|
June 27, 2022
|
|
Use `print` and `~p` instead of `write_term` and `~w`
|
|
1
|
136
|
June 26, 2022
|
|
Print vs quoted output of Unicode characters
|
|
2
|
253
|
June 25, 2022
|
|
[Mingw64/Win10] : swi-prolog can't locate foreign lib, pcre4pl
|
|
25
|
368
|
June 19, 2022
|
|
Backtracking cannot see predicates changes when retract/assertz itself
|
|
4
|
278
|
June 16, 2022
|
|
Visual presentation of (is) in SWISH
|
|
10
|
255
|
June 12, 2022
|
|
Built-In Preprocessor for context arguments
|
|
22
|
470
|
June 9, 2022
|