|
Sha1 different results
|
|
1
|
80
|
March 1, 2024
|
|
Access to variable names given by the user in top-level queries
|
|
8
|
155
|
February 29, 2024
|
|
Only first element of tuple matches
|
|
3
|
85
|
February 28, 2024
|
|
Customizing XPCE tools
|
|
5
|
131
|
February 28, 2024
|
|
Pldoc predicate ordering
|
|
5
|
128
|
February 28, 2024
|
|
$/0, $/1 bug or misunderstanding
|
|
0
|
75
|
February 27, 2024
|
|
Ackermann function in n3 running on swipl
|
|
11
|
285
|
February 25, 2024
|
|
Need Help with research about industrial/commercial applications in Prolog
|
|
6
|
285
|
February 25, 2024
|
|
Best/easiest way to downgrade to version 8.4.3, on Linux Ubuntu 20.04
|
|
22
|
2022
|
February 25, 2024
|
|
Another 'use-after-free' bug report
|
|
2
|
121
|
February 24, 2024
|
|
Wrong hmac values from crypto_data_hash
|
|
2
|
120
|
February 21, 2024
|
|
Two gotchas: initialize, and -f flag
|
|
2
|
90
|
February 20, 2024
|
|
Problems deploying SWIPL + sCASP on GCP
|
|
1
|
95
|
February 20, 2024
|
|
Why not simply fail on a query on ssu-consequences
|
|
3
|
188
|
February 19, 2024
|
|
Goal determinism when less than 2 solutions
|
|
2
|
132
|
February 19, 2024
|
|
Pack operations fail after upgrading swi-prolog to 9.2.1
|
|
12
|
192
|
February 19, 2024
|
|
JSON output with emoiji
|
|
2
|
109
|
February 19, 2024
|
|
Shared variables in unit test cleanup
|
|
1
|
79
|
February 19, 2024
|
|
Incorporation of edwards elliptic curves into swipl?
|
|
1
|
100
|
February 19, 2024
|
|
Reordering constraints to ensure instantiated variables
|
|
1
|
85
|
February 18, 2024
|
|
Ann: SWI-Prolog 9.2.1 (stable) and 9.3.1
|
|
1
|
148
|
February 17, 2024
|
|
Problem with exe and websocket at win11
|
|
1
|
83
|
February 16, 2024
|
|
Code share: CLP(FD) to CLP(B) translator
|
|
2
|
192
|
February 12, 2024
|
|
Https://www.swi-prolog.org/pack/query is down a
|
|
11
|
158
|
February 14, 2024
|
|
Conditional doesn't backtrack for solution
|
|
33
|
403
|
February 13, 2024
|
|
Maintenance work
|
|
0
|
116
|
February 13, 2024
|
|
Entry level Question: DCGs over structured alphabets
|
|
2
|
111
|
February 13, 2024
|
|
Color palette / color scheme generator
|
|
1
|
432
|
February 11, 2024
|
|
Pengines server certificate expired
|
|
3
|
100
|
February 11, 2024
|
|
Whether a term bound to global variable is reclaimed when the pointer is rewritten?
|
|
3
|
116
|
February 10, 2024
|