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