==/2 is exactly bi-similar
|
|
2
|
45
|
August 10, 2025
|
Functional notation in swi-prolog
|
|
6
|
84
|
August 6, 2025
|
More thread wrangling
|
|
7
|
96
|
August 6, 2025
|
When are functional notation of dict compile time expanded?
|
|
4
|
61
|
August 5, 2025
|
Metaobjects in PROLOG
|
|
5
|
144
|
August 2, 2025
|
No query result with dict and javascript object which has _ values
|
|
8
|
45
|
August 1, 2025
|
A couple of quick json questions
|
|
2
|
40
|
July 31, 2025
|
`strtod` implementation faulty?
|
|
7
|
51
|
July 30, 2025
|
Cyclic List member/2: Cantor Set Example
|
|
6
|
53
|
July 30, 2025
|
Issue getting http parameter from application/x-www-form-urlencoded; charset=UTF-8
|
|
2
|
50
|
July 28, 2025
|
Interrupting in debug mode leads to invisible console input
|
|
1
|
22
|
July 28, 2025
|
Careful with compare/3 and Brent algorithm
|
|
32
|
947
|
July 27, 2025
|
Cyclic term predicates suffer from ambiguity
|
|
0
|
51
|
July 26, 2025
|
Bidirectional predicates in the stdlib?
|
|
5
|
86
|
July 25, 2025
|
Probable bug in arg/3 when called from foreach/2
|
|
1
|
47
|
July 25, 2025
|
Top-Level swallows Cyclic Term
|
|
3
|
73
|
July 23, 2025
|
Strange error on when/2
|
|
2
|
40
|
July 23, 2025
|
Clause Compilation swallows Cyclic Equations
|
|
4
|
61
|
July 22, 2025
|
Installing and using third party packs in WASM swipl
|
|
5
|
57
|
July 22, 2025
|
Polish Notation with Sharing for Rational Trees
|
|
0
|
44
|
July 20, 2025
|
Substructural Logics in Prolog
|
|
1
|
158
|
December 27, 2024
|
Careful with Transitive Reductions of Directed Graphs
|
|
1
|
72
|
July 18, 2025
|
Temporarily overriding and restoring a system predicate?
|
|
1
|
42
|
July 17, 2025
|
Programmatic interface to library(help)?
|
|
3
|
82
|
July 17, 2025
|
New version of the units package v0.16
|
|
78
|
357
|
July 16, 2025
|
The Ghosts in my Cabinet: Indexing
|
|
0
|
88
|
July 10, 2025
|
More efficient group_by/4 for SWI-Prolog?
|
|
2
|
105
|
February 17, 2025
|
3 Step Non-Monotonic Tweety Example in SWISH
|
|
13
|
104
|
December 4, 2024
|
Using JPL from Spring Boot
|
|
5
|
85
|
July 1, 2025
|
Future of XPCE
|
|
32
|
607
|
June 30, 2025
|