Swi-prolog 9.2.2 fails http:proxy test on armv7
|
|
6
|
1078
|
March 11, 2024
|
Ann: SWI-Prolog 9.2.2/9.3.2
|
|
1
|
164
|
March 11, 2024
|
Bad Gateway error on home page
|
|
2
|
66
|
March 10, 2024
|
Qcompiling module works but use_module not for an specific module
|
|
0
|
65
|
March 9, 2024
|
Janus on MacOS
|
|
2
|
92
|
March 8, 2024
|
Can't install prolog on Archlinux
|
|
1
|
100
|
March 8, 2024
|
Magicsquare6 is unconfirmed, can we count it with ZDD?
|
|
0
|
72
|
March 7, 2024
|
Freeze interferes with multiple solutions
|
|
13
|
503
|
March 7, 2024
|
A pure sort/2
|
|
15
|
800
|
March 7, 2024
|
Is there is way to monetary contributions?
|
|
9
|
276
|
March 7, 2024
|
Call/1 and '$meta_call'/1 discrepancy
|
|
1
|
93
|
March 6, 2024
|
Why is `-` the functor for pairs?
|
|
4
|
185
|
March 6, 2024
|
New services online
|
|
0
|
135
|
February 23, 2024
|
Creating files for training with Aleph using SWISH-cplint
|
|
0
|
82
|
March 4, 2024
|
Dif - potential performance improvement?
|
|
4
|
170
|
February 29, 2024
|
Sega PROLOG
|
|
8
|
289
|
March 3, 2024
|
Exercise on normalizing Ycombinator for factorial function in Church numerals
|
|
10
|
193
|
February 29, 2024
|
Sha1 different results
|
|
1
|
87
|
March 1, 2024
|
Access to variable names given by the user in top-level queries
|
|
8
|
164
|
February 29, 2024
|
Only first element of tuple matches
|
|
3
|
93
|
February 28, 2024
|
Customizing XPCE tools
|
|
5
|
139
|
February 28, 2024
|
Pldoc predicate ordering
|
|
5
|
136
|
February 28, 2024
|
$/0, $/1 bug or misunderstanding
|
|
0
|
76
|
February 27, 2024
|
Ackermann function in n3 running on swipl
|
|
11
|
287
|
February 25, 2024
|
Need Help with research about industrial/commercial applications in Prolog
|
|
6
|
296
|
February 25, 2024
|
Best/easiest way to downgrade to version 8.4.3, on Linux Ubuntu 20.04
|
|
22
|
2060
|
February 25, 2024
|
Another 'use-after-free' bug report
|
|
2
|
127
|
February 24, 2024
|
Wrong hmac values from crypto_data_hash
|
|
2
|
126
|
February 21, 2024
|
Two gotchas: initialize, and -f flag
|
|
2
|
94
|
February 20, 2024
|
Problems deploying SWIPL + sCASP on GCP
|
|
1
|
99
|
February 20, 2024
|