|
Implementing negation from this book
|
|
2
|
720
|
February 20, 2025
|
|
Thread_wait/2 and empty database
|
|
3
|
39
|
February 17, 2025
|
|
More efficient group_by/4 for SWI-Prolog?
|
|
4
|
85
|
February 17, 2025
|
|
How to interpret the comma separated coverage data?
|
|
1
|
53
|
February 15, 2025
|
|
Pack install fails with No rule to make target `install'
|
|
1
|
27
|
February 15, 2025
|
|
Installing swi prolog on colab
|
|
2
|
89
|
February 14, 2025
|
|
Unknown procedure / not a function term
|
|
3
|
39
|
February 12, 2025
|
|
Creating a unique reference
|
|
4
|
55
|
February 11, 2025
|
|
On using ZDD as keys of dict
|
|
4
|
106
|
February 7, 2025
|
|
Persistent predicates based on RocksDB
|
|
110
|
3317
|
February 8, 2025
|
|
Ann: SWI-Prolog 9.3.20
|
|
0
|
148
|
February 7, 2025
|
|
WASM version engine support
|
|
0
|
44
|
February 6, 2025
|
|
^D not longer working after importing pac
|
|
7
|
66
|
February 6, 2025
|
|
Compiling with swipl-ld on MS Windows
|
|
22
|
73
|
February 3, 2025
|
|
Fedora41 clpB problems
|
|
0
|
36
|
February 3, 2025
|
|
How to embed Python into Prolog on MacOS?
|
|
2
|
39
|
February 3, 2025
|
|
How to replace empty atoms with fresh variables in a dict?
|
|
1
|
45
|
February 3, 2025
|
|
Found a bug: it involves a variable in a single branch and a lambda
|
|
12
|
108
|
February 3, 2025
|
|
Bug hunting toolbox
|
|
1
|
2827
|
February 1, 2023
|
|
[Help wanted]: SWIPL wasm build not compatible with emsdk v4
|
|
2
|
67
|
January 31, 2025
|
|
C++/ Prolog
|
|
7
|
107
|
January 29, 2025
|
|
I am proud to present my first OEIS numbers with the help of swi-prolog
|
|
0
|
72
|
January 28, 2025
|
|
Is old school mode directed compilation dead?
|
|
0
|
76
|
January 23, 2025
|
|
Sporadic "abort trap" when using trace/2
|
|
3
|
37
|
January 26, 2025
|
|
DCG translation easter egg in SWI-Prolog
|
|
0
|
64
|
January 25, 2025
|
|
Preliminary Call for Papers (ICLP 2025)
|
|
0
|
123
|
January 25, 2025
|
|
Goal Evaluation with Timeouts
|
|
14
|
1485
|
January 24, 2025
|
|
PL_get_integer returns false even with confirmed integer term_t
|
|
10
|
87
|
January 24, 2025
|
|
Serializing terms with the foreign language interface
|
|
1
|
26
|
January 24, 2025
|
|
Ann: SWI-Prolog 9.3.19
|
|
0
|
125
|
January 23, 2025
|