|
Implementing Quine's algorithm
|
|
114
|
1605
|
November 3, 2020
|
|
Is there a way of unifying file syntax errors to a string when consulting?
|
|
1
|
66
|
October 29, 2020
|
|
Tabling restraints
|
|
0
|
73
|
October 24, 2020
|
|
Is it possible to use use_module in Pengines?
|
|
2
|
80
|
October 22, 2020
|
|
Question about using prolog equation as a variable
|
|
3
|
82
|
October 8, 2020
|
|
Operands and equation questions
|
|
8
|
201
|
October 5, 2020
|
|
Using SWI-Prolog pack gvterm
|
|
1
|
89
|
October 5, 2020
|
|
Hiding shift/reset on tracing
|
|
2
|
66
|
October 3, 2020
|
|
SWI-Prolog - PHP - Html
|
|
64
|
1304
|
September 21, 2020
|
|
SWI-Prolog: [FATAL ERROR: at Mon Sep 28 11:18:32 2020 Too many stacked strings]
|
|
5
|
156
|
September 28, 2020
|
|
Improving Wang's algorithm in Prolog
|
|
81
|
882
|
September 13, 2020
|
|
How to get multifile to work with dynamic predicates
|
|
0
|
70
|
September 8, 2020
|
|
I want to read a stream that contains newlines to end-of-file character
|
|
16
|
262
|
September 7, 2020
|
|
Mutex recursion issue?
|
|
1
|
60
|
September 5, 2020
|
|
Install SWI-Prolog development version on Windows 10
|
|
0
|
4881
|
September 2, 2020
|
|
Install SWI-Prolog development version on Ubuntu using PPA
|
|
0
|
223
|
May 24, 2020
|
|
Assertz after existing rule
|
|
4
|
132
|
August 28, 2020
|
|
SWI Prolog script without running a tty
|
|
1
|
98
|
August 21, 2020
|
|
Writing a safe program
|
|
3
|
124
|
August 18, 2020
|
|
SO answer to printing tabular report using forall/2 or foreach/2
|
|
4
|
144
|
August 17, 2020
|
|
On the semantic of `tfilter` from the reif pack
|
|
3
|
108
|
August 13, 2020
|
|
JPL Guru needed: JPL throws when calling a method on an interface
|
|
10
|
281
|
June 5, 2020
|
|
Need help with predicate calls traversing back and forth between multiple modules
|
|
0
|
100
|
August 4, 2020
|
|
Deleting a record in a different script
|
|
12
|
275
|
August 2, 2020
|
|
Term_expansion not applied
|
|
1
|
94
|
August 1, 2020
|
|
Is there a way to make the stacktrace print terms in full?
|
|
1
|
125
|
July 31, 2020
|
|
Trying to implement a delete_all/3 relation but it does not terminate in some case
|
|
16
|
108
|
July 28, 2020
|
|
Calling call//1 makes DCG nonfunctional? (+ "difference list" in DCGs vs. "difference list" for appending)
|
|
20
|
351
|
July 26, 2020
|
|
How to assign meaningful names to (fresh) variables?
|
|
8
|
785
|
July 21, 2020
|
|
Convert decimal number to hexadecimal number as atom with zero padding on left
|
|
3
|
191
|
July 13, 2020
|
