Rich UI for Prolog
|
|
31
|
794
|
March 13, 2024
|
How to add prolog/ to load path?
|
|
1
|
298
|
March 13, 2024
|
Distributed SWISH
|
|
10
|
190
|
March 13, 2024
|
Inconsistent tabling behavior across linux/mac
|
|
14
|
194
|
March 12, 2024
|
Problem with process_create/3 in recent GIT versions
|
|
0
|
51
|
March 12, 2024
|
Ann: SWI-Prolog 9.2.0 (stable) and 9.3.0 (new devel series)
|
|
41
|
744
|
March 11, 2024
|
Testing hypothetical implications in Prolog
|
|
2
|
92
|
March 11, 2024
|
Swi-prolog 9.2.2 fails http:proxy test on armv7
|
|
6
|
1045
|
March 11, 2024
|
Ann: SWI-Prolog 9.2.2/9.3.2
|
|
1
|
139
|
March 11, 2024
|
Bad Gateway error on home page
|
|
2
|
47
|
March 10, 2024
|
Qcompiling module works but use_module not for an specific module
|
|
0
|
53
|
March 9, 2024
|
Janus on MacOS
|
|
2
|
75
|
March 8, 2024
|
Can't install prolog on Archlinux
|
|
1
|
70
|
March 8, 2024
|
Magicsquare6 is unconfirmed, can we count it with ZDD?
|
|
0
|
55
|
March 7, 2024
|
Freeze interferes with multiple solutions
|
|
13
|
472
|
March 7, 2024
|
A pure sort/2
|
|
15
|
744
|
March 7, 2024
|
Is there is way to monetary contributions?
|
|
9
|
252
|
March 7, 2024
|
Call/1 and '$meta_call'/1 discrepancy
|
|
1
|
72
|
March 6, 2024
|
Why is `-` the functor for pairs?
|
|
4
|
144
|
March 6, 2024
|
New services online
|
|
0
|
114
|
February 23, 2024
|
Creating files for training with Aleph using SWISH-cplint
|
|
0
|
67
|
March 4, 2024
|
Dif - potential performance improvement?
|
|
4
|
149
|
February 29, 2024
|
Sega PROLOG
|
|
8
|
246
|
March 3, 2024
|
Exercise on normalizing Ycombinator for factorial function in Church numerals
|
|
10
|
167
|
February 29, 2024
|
Sha1 different results
|
|
1
|
67
|
March 1, 2024
|
Access to variable names given by the user in top-level queries
|
|
8
|
137
|
February 29, 2024
|
Only first element of tuple matches
|
|
3
|
62
|
February 28, 2024
|
Customizing XPCE tools
|
|
5
|
116
|
February 28, 2024
|
Pldoc predicate ordering
|
|
5
|
115
|
February 28, 2024
|
$/0, $/1 bug or misunderstanding
|
|
0
|
63
|
February 27, 2024
|