|
How to add prolog/ to load path?
|
|
1
|
321
|
March 13, 2024
|
|
Distributed SWISH
|
|
10
|
206
|
March 13, 2024
|
|
Inconsistent tabling behavior across linux/mac
|
|
14
|
212
|
March 12, 2024
|
|
Problem with process_create/3 in recent GIT versions
|
|
0
|
61
|
March 12, 2024
|
|
Ann: SWI-Prolog 9.2.0 (stable) and 9.3.0 (new devel series)
|
|
41
|
798
|
March 11, 2024
|
|
Testing hypothetical implications in Prolog
|
|
2
|
111
|
March 11, 2024
|
|
Swi-prolog 9.2.2 fails http:proxy test on armv7
|
|
6
|
1068
|
March 11, 2024
|
|
Ann: SWI-Prolog 9.2.2/9.3.2
|
|
1
|
157
|
March 11, 2024
|
|
Bad Gateway error on home page
|
|
2
|
60
|
March 10, 2024
|
|
Qcompiling module works but use_module not for an specific module
|
|
0
|
60
|
March 9, 2024
|
|
Janus on MacOS
|
|
2
|
87
|
March 8, 2024
|
|
Can't install prolog on Archlinux
|
|
1
|
89
|
March 8, 2024
|
|
Magicsquare6 is unconfirmed, can we count it with ZDD?
|
|
0
|
67
|
March 7, 2024
|
|
Freeze interferes with multiple solutions
|
|
13
|
495
|
March 7, 2024
|
|
A pure sort/2
|
|
15
|
778
|
March 7, 2024
|
|
Is there is way to monetary contributions?
|
|
9
|
269
|
March 7, 2024
|
|
Call/1 and '$meta_call'/1 discrepancy
|
|
1
|
88
|
March 6, 2024
|
|
Why is `-` the functor for pairs?
|
|
4
|
166
|
March 6, 2024
|
|
New services online
|
|
0
|
128
|
February 23, 2024
|
|
Creating files for training with Aleph using SWISH-cplint
|
|
0
|
77
|
March 4, 2024
|
|
Dif - potential performance improvement?
|
|
4
|
161
|
February 29, 2024
|
|
Sega PROLOG
|
|
8
|
272
|
March 3, 2024
|
|
Exercise on normalizing Ycombinator for factorial function in Church numerals
|
|
10
|
182
|
February 29, 2024
|
|
Sha1 different results
|
|
1
|
78
|
March 1, 2024
|
|
Access to variable names given by the user in top-level queries
|
|
8
|
148
|
February 29, 2024
|
|
Only first element of tuple matches
|
|
3
|
80
|
February 28, 2024
|
|
Customizing XPCE tools
|
|
5
|
130
|
February 28, 2024
|
|
Pldoc predicate ordering
|
|
5
|
125
|
February 28, 2024
|
|
$/0, $/1 bug or misunderstanding
|
|
0
|
73
|
February 27, 2024
|
|
Ackermann function in n3 running on swipl
|
|
11
|
281
|
February 25, 2024
|