|
How to set font size on graphical debugger?
|
|
3
|
1512
|
September 5, 2025
|
|
Struggling with repeated floor division and clause matching in CLPFD
|
|
3
|
81
|
August 28, 2025
|
|
Help with http_get/3
|
|
4
|
73
|
August 26, 2025
|
|
Would it be possible to implement a second SSU Operator "*=>" which allows for backtracking in the left hand side?
|
|
16
|
151
|
August 24, 2025
|
|
Unclear use of timeout in unit tests
|
|
10
|
515
|
August 18, 2025
|
|
Foreign C mylib.so not found at runtime
|
|
4
|
78
|
August 8, 2025
|
|
SWI-Prolog 9.3.26. on Macos, annoying permissions
|
|
1
|
52
|
August 3, 2025
|
|
SWI-Prolog 9.3.26. on Macos, cannot type some characters in SWI-Console
|
|
1
|
45
|
August 3, 2025
|
|
Assertz/1 with attributed variables
|
|
5
|
103
|
August 2, 2025
|
|
How to get mode directed tabling from a predicate, programmatically
|
|
1
|
52
|
July 30, 2025
|
|
s(CASP): How to avoid overly restrictive models
|
|
0
|
44
|
July 28, 2025
|
|
Scasp/2: How to retrieve arithmetic constraints?
|
|
1
|
35
|
July 28, 2025
|
|
Http_unix_daemon with threads
|
|
3
|
61
|
July 8, 2025
|
|
^D not longer working after importing pac
|
|
4
|
104
|
February 6, 2025
|
|
Bug in element/3?
|
|
4
|
103
|
July 1, 2025
|
|
Terminal command line issue - keystrokes for extended character set
|
|
3
|
82
|
June 30, 2025
|
|
Copy_term/2 is not relational and this is a problem
|
|
3
|
115
|
June 27, 2025
|
|
`message_hook` dropping messages during `xref_source`
|
|
4
|
84
|
June 25, 2025
|
|
Reply
|
|
6
|
112
|
June 21, 2025
|
|
Having all sorts of problems with libeditline
|
|
11
|
176
|
June 18, 2025
|
|
Behaviour of trace/0 and trace/1
|
|
4
|
58
|
June 16, 2025
|
|
Understanding the output of the profiler
|
|
9
|
180
|
June 16, 2025
|
|
Computing probability distributions for clp(BNR) intervals
|
|
5
|
78
|
June 14, 2025
|
|
Looking for an example of a REPL
|
|
11
|
234
|
June 4, 2025
|
|
Why doesn't ord_subset generate subsets?
|
|
12
|
1466
|
June 6, 2025
|
|
Enumerating all simple paths in complete undirected graphs
|
|
0
|
70
|
May 31, 2025
|
|
A strange behavior of CHR package
|
|
5
|
763
|
May 31, 2025
|
|
Some small omissions in prolog_read_source_term/4?
|
|
3
|
90
|
May 28, 2025
|
|
Asserting facts into the caller's module
|
|
2
|
89
|
May 20, 2025
|
|
Maplist using a lambda on a lists of dicts doesn't work as expected
|
|
2
|
88
|
May 16, 2025
|