|
About the Discussion category
|
|
0
|
895
|
November 2, 2020
|
|
ANN: Dogelog Runtime, Prolog to the Moon (2021)
|
|
0
|
112
|
May 3, 2021
|
|
Does anyone care about protobufs?
|
|
76
|
880
|
June 16, 2021
|
|
Can I open a GC window in SWI-Prolog? (Something like an Isolate)
|
|
7
|
120
|
May 27, 2021
|
|
Changes to LD-handling in library code
|
|
3
|
71
|
June 16, 2021
|
|
Good Prolog resources and a good Prolog implementation for a newbie
|
|
11
|
137
|
June 11, 2021
|
|
Locality of Reference linked lists v.s dynamic (resizeable) vectors
|
|
5
|
92
|
May 24, 2021
|
|
Official swi-prolog Slack ; Gitter; other? Channel
|
|
0
|
71
|
June 4, 2021
|
|
Pros and cons of a tight coehesion typed FFI
|
|
6
|
95
|
May 7, 2021
|
|
Messaging based foreign predicate proxy
|
|
6
|
107
|
May 12, 2021
|
|
Improving the Prolog VM with a choice point mindset
|
|
9
|
179
|
April 27, 2021
|
|
PGO testing on refactor branch?
|
|
1
|
58
|
May 17, 2021
|
|
Rust FFI -- Great and Timely News
|
|
7
|
195
|
May 7, 2021
|
|
Wow. Tabling turns a non-LL(1) grammar with explosive parse times into something tractable
|
|
0
|
94
|
May 12, 2021
|
|
Automatic tests can succeed with syntax errors
|
|
10
|
206
|
May 8, 2021
|
|
Which code points are escaped inside quoted atoms and strings?
|
|
9
|
98
|
May 5, 2021
|
|
Linking from clause store to terms on the stack
|
|
62
|
328
|
April 29, 2021
|
|
Det/1 isn't cleared by reconsult - warning message from check/0
|
|
1
|
82
|
April 29, 2021
|
|
Where in the swi-prolog code is the need for the creation of choice points checked
|
|
21
|
238
|
April 26, 2021
|
|
What happens if Dr. Wielemaker is hit by a van?
|
|
42
|
760
|
April 7, 2021
|
|
miniKanren and Prolog as 2 ways of logical programming
|
|
0
|
105
|
March 29, 2021
|
|
Prolog 29th most popular language according to TIOBE Index
|
|
14
|
509
|
March 29, 2021
|
|
DCGs with single-sided unification?
|
|
17
|
221
|
March 28, 2021
|
|
Neurosymbolic AI
|
|
20
|
394
|
February 23, 2021
|
|
What is up with the cut (!)
|
|
43
|
612
|
February 21, 2021
|
|
Debugging constraints
|
|
28
|
265
|
February 16, 2021
|
|
ZDD with Quantification in Prolog
|
|
1
|
263
|
November 23, 2020
|
|
Expects_dialect(sicstus): how to handle SICStus 3 vs. 4 API conflicts
|
|
13
|
296
|
January 6, 2021
|
|
JPL: Equivalence Predicate `toString` Method Generates Quotation Marks
|
|
1
|
109
|
December 25, 2020
|
|
Concurrent_setof?
|
|
4
|
158
|
December 19, 2020
|
