|
Linked binary of swiprolog does not use SWI_HOME
|
|
9
|
55
|
February 24, 2025
|
|
We have a segfault
|
|
11
|
111
|
February 21, 2025
|
|
Yield based debugging: allow for a fancy debugger for the browser version! - Reply 01
|
|
3
|
53
|
February 21, 2025
|
|
Abusing "dynamic" predicates
|
|
3
|
74
|
February 21, 2025
|
|
Yield based debugging: allow for a fancy debugger for the browser version!
|
|
1
|
57
|
February 20, 2025
|
|
Janus and Python venv
|
|
9
|
368
|
February 20, 2025
|
|
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
|
50
|
February 15, 2025
|
|
Pack install fails with No rule to make target `install'
|
|
1
|
27
|
February 15, 2025
|
|
Installing swi prolog on colab
|
|
2
|
83
|
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
|
3313
|
February 8, 2025
|
|
Ann: SWI-Prolog 9.3.20
|
|
0
|
142
|
February 7, 2025
|
|
WASM version engine support
|
|
0
|
44
|
February 6, 2025
|
|
^D not longer working after importing pac
|
|
7
|
65
|
February 6, 2025
|
|
Compiling with swipl-ld on MS Windows
|
|
22
|
69
|
February 3, 2025
|
|
Fedora41 clpB problems
|
|
0
|
36
|
February 3, 2025
|
|
How to embed Python into Prolog on MacOS?
|
|
2
|
38
|
February 3, 2025
|
|
How to replace empty atoms with fresh variables in a dict?
|
|
1
|
44
|
February 3, 2025
|
|
Found a bug: it involves a variable in a single branch and a lambda
|
|
12
|
107
|
February 3, 2025
|
|
Bug hunting toolbox
|
|
1
|
2826
|
February 1, 2023
|
|
[Help wanted]: SWIPL wasm build not compatible with emsdk v4
|
|
2
|
67
|
January 31, 2025
|
|
C++/ Prolog
|
|
7
|
105
|
January 29, 2025
|
|
I am proud to present my first OEIS numbers with the help of swi-prolog
|
|
0
|
69
|
January 28, 2025
|
|
Is old school mode directed compilation dead?
|
|
0
|
75
|
January 23, 2025
|
|
Sporadic "abort trap" when using trace/2
|
|
3
|
37
|
January 26, 2025
|