|
Suspicious warning "The predicates below are not defined ','/6"
|
|
17
|
322
|
October 12, 2025
|
|
Random colorized code looks nice but isn't helpful
|
|
7
|
163
|
October 10, 2025
|
|
Listing regular files with directory_member/2
|
|
1
|
78
|
October 5, 2025
|
|
Table of contents in SWISH notebook
|
|
7
|
167
|
October 4, 2025
|
|
How to make it write all of a list
|
|
3
|
127
|
September 26, 2025
|
|
Random number generation, seeds, and GMP
|
|
3
|
82
|
September 25, 2025
|
|
Why is there a limit in the $VAR translation?
|
|
3
|
103
|
September 25, 2025
|
|
Drop-down Menues of PceEmacs on the wrong screen
|
|
6
|
165
|
September 22, 2025
|
|
Can I anyhow create my own types in the type_check package?
|
|
0
|
55
|
September 22, 2025
|
|
Crash when initializing GMP
|
|
5
|
190
|
September 22, 2025
|
|
Getting parentheses to indicate precedence when interpreting clause bodies
|
|
1
|
439
|
April 19, 2021
|
|
How to send the console text to a file?
|
|
7
|
140
|
September 20, 2025
|
|
Swi Prolog seems to start up an old version, after an update
|
|
4
|
89
|
September 15, 2025
|
|
MacOS pack install without Xcode
|
|
19
|
432
|
September 14, 2025
|
|
How to select the venv when using Janus?
|
|
11
|
166
|
September 10, 2025
|
|
Is the documentation of library(heaps) confusing?
|
|
5
|
114
|
September 9, 2025
|
|
Possible bug in library persistency?
|
|
1
|
87
|
September 9, 2025
|
|
Logical negation in Prolog ~ a = (a => f)
|
|
1
|
159
|
September 7, 2025
|
|
Proper Error handling http_open
|
|
5
|
106
|
September 7, 2025
|
|
How to set font size on graphical debugger?
|
|
3
|
1557
|
September 5, 2025
|
|
Struggling with repeated floor division and clause matching in CLPFD
|
|
3
|
120
|
August 28, 2025
|
|
Help with http_get/3
|
|
4
|
104
|
August 26, 2025
|
|
Would it be possible to implement a second SSU Operator "*=>" which allows for backtracking in the left hand side?
|
|
16
|
218
|
August 24, 2025
|
|
Unclear use of timeout in unit tests
|
|
10
|
583
|
August 18, 2025
|
|
Foreign C mylib.so not found at runtime
|
|
4
|
105
|
August 8, 2025
|
|
SWI-Prolog 9.3.26. on Macos, annoying permissions
|
|
1
|
75
|
August 3, 2025
|
|
SWI-Prolog 9.3.26. on Macos, cannot type some characters in SWI-Console
|
|
1
|
60
|
August 3, 2025
|
|
Assertz/1 with attributed variables
|
|
5
|
149
|
August 2, 2025
|
|
How to get mode directed tabling from a predicate, programmatically
|
|
1
|
76
|
July 30, 2025
|
|
s(CASP): How to avoid overly restrictive models
|
|
0
|
60
|
July 28, 2025
|