|
XPCE keyboard input issues
|
|
11
|
26
|
September 3, 2025
|
|
Progressing the SWI-Prolog environment
|
|
27
|
348
|
September 3, 2025
|
|
Optimization in '$factorize_term'/3 implementation?
|
|
31
|
157
|
September 3, 2025
|
|
Ann: SWI-Prolog 9.3.29
|
|
1
|
89
|
September 3, 2025
|
|
New: Connect AI Assistants Directly to SWI-Prolog
|
|
3
|
73
|
September 3, 2025
|
|
Proper use of temporary module?
|
|
5
|
45
|
September 2, 2025
|
|
`Too many stacked strings` bug in WASM, with repro example
|
|
8
|
119
|
September 1, 2025
|
|
Question on comma and semicolon vs dot in Prolog grammar
|
|
13
|
93
|
August 30, 2025
|
|
Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `
|
|
99
|
661
|
August 29, 2025
|
|
Problem with pack_install
|
|
1
|
27
|
August 30, 2025
|
|
Laziness with lazy_lists vs freeze
|
|
9
|
70
|
August 29, 2025
|
|
Switching Gears: From Lee Naish to Peter Deutsch
|
|
1
|
59
|
August 28, 2025
|
|
Struggling with repeated floor division and clause matching in CLPFD
|
|
3
|
43
|
August 28, 2025
|
|
Question on expression levels in Prolog parsing rules
|
|
3
|
36
|
August 27, 2025
|
|
Coroutine to compare two lists using shif/reset continuation
|
|
4
|
35
|
August 27, 2025
|
|
Ann: SWI-Prolog 9.3.28
|
|
15
|
218
|
September 3, 2025
|
|
Help with http_get/3
|
|
4
|
45
|
August 26, 2025
|
|
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
|
|
0
|
25
|
August 25, 2025
|
|
Open Questions on compare/3
|
|
15
|
250
|
August 25, 2025
|
|
Would it be possible to implement a second SSU Operator "*=>" which allows for backtracking in the left hand side?
|
|
16
|
94
|
August 24, 2025
|
|
Mercio’s Idea (2012) in Prolog
|
|
0
|
76
|
August 19, 2025
|
|
Merged Heap/Stack versus WAM resp. ZIP
|
|
1
|
87
|
August 18, 2025
|
|
Unclear use of timeout in unit tests
|
|
10
|
485
|
August 18, 2025
|
|
Site navigation menu changing from hamburger to sidebar
|
|
2
|
37
|
August 16, 2025
|
|
Glitch in term_factorized/3, stack overflow
|
|
16
|
751
|
August 7, 2025
|
|
How does this program work?
|
|
8
|
91
|
August 13, 2025
|
|
Moon Shoot at compare/3
|
|
89
|
296
|
August 13, 2025
|
|
Szpilrajn Theorem and Suzumura Consistency
|
|
13
|
84
|
August 12, 2025
|
|
Graph traversal help
|
|
2
|
52
|
August 11, 2025
|
|
==/2 is exactly bi-similar
|
|
2
|
45
|
August 10, 2025
|