About the General category
|
|
0
|
251
|
August 29, 2022
|
Welcome to Discourse
|
|
0
|
2979
|
February 4, 2019
|
Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `
|
|
32
|
116
|
July 18, 2025
|
Term factorized crashes, some alternative around?
|
|
1
|
4
|
July 18, 2025
|
Top-Level swallows Cyclic Term
|
|
3
|
25
|
July 17, 2025
|
Temporarily overriding and restoring a system predicate?
|
|
1
|
18
|
July 17, 2025
|
Programmatic interface to library(help)?
|
|
3
|
65
|
July 17, 2025
|
New version of the units package v0.16
|
|
78
|
320
|
July 16, 2025
|
The Ghosts in my Cabinet: Indexing
|
|
0
|
83
|
July 10, 2025
|
Substructural Logics in Prolog
|
|
1
|
144
|
December 27, 2024
|
More efficient group_by/4 for SWI-Prolog?
|
|
2
|
100
|
February 17, 2025
|
3 Step Non-Monotonic Tweety Example in SWISH
|
|
13
|
100
|
December 4, 2024
|
Using JPL from Spring Boot
|
|
5
|
69
|
July 1, 2025
|
Future of XPCE
|
|
34
|
575
|
June 30, 2025
|
Can SWI-Tinker use a shield/1?
|
|
1
|
91
|
June 30, 2025
|
Swi emacs / eclipse pdt config on osx
|
|
2
|
20
|
June 27, 2025
|
Unicode representation issues with Windows/Wine
|
|
9
|
51
|
June 26, 2025
|
Core dump in dev release 9.3.24
|
|
16
|
121
|
June 21, 2025
|
Review Request (CHR): Issue #5: Rule firing although guard should fail
|
|
1
|
58
|
June 21, 2025
|
Can SWI-Tinker use a library(markup)?
|
|
14
|
291
|
April 6, 2025
|
Promote to Rational
|
|
1
|
41
|
June 13, 2025
|
Floyd-Warshall algorithm in Prolog
|
|
9
|
209
|
December 21, 2024
|
#include <SWI-cpp2.cpp> error
|
|
1
|
25
|
June 9, 2025
|
Optimizing Syntax Coloring with Code Mirror
|
|
0
|
42
|
June 7, 2025
|
Swi prolog standalone binary VS strip
|
|
4
|
119
|
May 30, 2025
|
Border case in Query Answer display
|
|
5
|
70
|
May 28, 2025
|
Metaobjects in PROLOG
|
|
4
|
95
|
May 26, 2025
|
Combinatory Logic in Prolog
|
|
0
|
414
|
June 13, 2024
|
LLM and Prolog, a Marriage in Heaven?
|
|
7
|
993
|
May 20, 2025
|
In the ugraphs library the vertices builtin seems strange
|
|
3
|
56
|
May 19, 2025
|