|
Turning failure based loop into DCG recursion
|
|
10
|
128
|
March 19, 2024
|
|
Problem with foldl/4 and library(apply_macros)
|
|
2
|
130
|
March 16, 2024
|
|
Math Plugin
|
|
13
|
736
|
March 16, 2024
|
|
The similarity between Haskell and Prolog
|
|
43
|
1340
|
March 15, 2024
|
|
Capturing shell output
|
|
6
|
188
|
March 15, 2024
|
|
Just came to say that library yall
|
|
0
|
167
|
March 13, 2024
|
|
DNS disruption
|
|
2
|
358
|
March 13, 2024
|
|
Enhancements to plunit
|
|
6
|
400
|
March 13, 2024
|
|
How to add prolog/ to load path?
|
|
1
|
326
|
March 13, 2024
|
|
Distributed SWISH
|
|
10
|
210
|
March 13, 2024
|
|
Inconsistent tabling behavior across linux/mac
|
|
14
|
216
|
March 12, 2024
|
|
Problem with process_create/3 in recent GIT versions
|
|
0
|
65
|
March 12, 2024
|
|
Ann: SWI-Prolog 9.2.0 (stable) and 9.3.0 (new devel series)
|
|
41
|
819
|
March 11, 2024
|
|
Testing hypothetical implications in Prolog
|
|
2
|
114
|
March 11, 2024
|
|
Swi-prolog 9.2.2 fails http:proxy test on armv7
|
|
6
|
1071
|
March 11, 2024
|
|
Ann: SWI-Prolog 9.2.2/9.3.2
|
|
1
|
160
|
March 11, 2024
|
|
Bad Gateway error on home page
|
|
2
|
63
|
March 10, 2024
|
|
Qcompiling module works but use_module not for an specific module
|
|
0
|
62
|
March 9, 2024
|
|
Janus on MacOS
|
|
2
|
90
|
March 8, 2024
|
|
Can't install prolog on Archlinux
|
|
1
|
95
|
March 8, 2024
|
|
Magicsquare6 is unconfirmed, can we count it with ZDD?
|
|
0
|
69
|
March 7, 2024
|
|
Freeze interferes with multiple solutions
|
|
13
|
499
|
March 7, 2024
|
|
A pure sort/2
|
|
15
|
787
|
March 7, 2024
|
|
Is there is way to monetary contributions?
|
|
9
|
273
|
March 7, 2024
|
|
Call/1 and '$meta_call'/1 discrepancy
|
|
1
|
90
|
March 6, 2024
|
|
Why is `-` the functor for pairs?
|
|
4
|
177
|
March 6, 2024
|
|
New services online
|
|
0
|
130
|
February 23, 2024
|
|
Creating files for training with Aleph using SWISH-cplint
|
|
0
|
80
|
March 4, 2024
|
|
Dif - potential performance improvement?
|
|
4
|
164
|
February 29, 2024
|
|
Sega PROLOG
|
|
8
|
277
|
March 3, 2024
|