|
Swi Prolog seems to start up an old version, after an update
|
|
4
|
56
|
September 15, 2025
|
|
Pengines: inconsistent series of events received for sequence of ask requests to the same pengine
|
|
4
|
65
|
September 15, 2025
|
|
E-Graph implementation using prolog variables
|
|
2
|
111
|
September 14, 2025
|
|
MacOS pack install without Xcode
|
|
19
|
125
|
September 14, 2025
|
|
Is this a known bug on `term_factorized/3`?
|
|
5
|
108
|
September 13, 2025
|
|
Pengines success event produced with two different term structures
|
|
0
|
42
|
September 12, 2025
|
|
Advent of Code 2024
|
|
56
|
925
|
September 12, 2025
|
|
Swish docker image
|
|
6
|
108
|
September 12, 2025
|
|
How to select the venv when using Janus?
|
|
11
|
79
|
September 10, 2025
|
|
Is the documentation of library(heaps) confusing?
|
|
7
|
71
|
September 9, 2025
|
|
Possible bug in library persistency?
|
|
2
|
66
|
September 9, 2025
|
|
Logical negation in Prolog ~ a = (a => f)
|
|
3
|
109
|
September 7, 2025
|
|
Graphic debugger in cursor (vs-code)
|
|
6
|
89
|
September 9, 2025
|
|
Can't build on Ubuntu
|
|
6
|
93
|
September 9, 2025
|
|
E-Graph matching with monotonic tabling
|
|
3
|
103
|
September 8, 2025
|
|
Proper Error handling http_open
|
|
5
|
58
|
September 7, 2025
|
|
Osx / font size in pce-based editor
|
|
5
|
52
|
September 5, 2025
|
|
How to set font size on graphical debugger?
|
|
3
|
1495
|
September 5, 2025
|
|
There really needs to be an Idiot's Guide for using Packs
|
|
1
|
63
|
September 4, 2025
|
|
Liblo.dll needed for plosc package
|
|
1
|
40
|
September 4, 2025
|
|
XPCE keyboard input issues
|
|
9
|
55
|
September 3, 2025
|
|
Ann: SWI-Prolog 9.3.29
|
|
1
|
103
|
September 3, 2025
|
|
New: Connect AI Assistants Directly to SWI-Prolog
|
|
3
|
113
|
September 3, 2025
|
|
`Too many stacked strings` bug in WASM, with repro example
|
|
8
|
142
|
September 1, 2025
|
|
Question on comma and semicolon vs dot in Prolog grammar
|
|
9
|
135
|
August 30, 2025
|
|
Problem with pack_install
|
|
1
|
53
|
August 30, 2025
|
|
Laziness with lazy_lists vs freeze
|
|
8
|
91
|
August 29, 2025
|
|
Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `
|
|
73
|
785
|
August 29, 2025
|
|
Struggling with repeated floor division and clause matching in CLPFD
|
|
3
|
65
|
August 28, 2025
|
|
Question on expression levels in Prolog parsing rules
|
|
1
|
58
|
August 27, 2025
|