|
New notation for dict-based "method indicators"?
|
|
7
|
114
|
July 20, 2020
|
|
Patterns for functional composition, expressions, conciseness?
|
|
15
|
211
|
July 31, 2020
|
|
Sterile choicepoint left open in SWI-Prolog 8.3.5 vs in 8.3.4
|
|
2
|
63
|
August 9, 2020
|
|
Using prolog "as intended"
|
|
14
|
122
|
August 8, 2020
|
|
I just finished coding a between/3 with steps: between/4
|
|
15
|
160
|
August 8, 2020
|
|
Terminology: "true", "entailed", "provable", "holds"
|
|
17
|
306
|
August 8, 2020
|
|
Ways to segregate test from code, feedback desired
|
|
2
|
33
|
August 5, 2020
|
|
Natural datastructure for 2-D or more freely accessible array of characters
|
|
10
|
85
|
August 3, 2020
|
|
Sunday random thoughts: Prolog's asymetry of Goal vs Clause & library(yall) problems
|
|
6
|
59
|
August 2, 2020
|
|
Edge case: dicts and compound_name_arity/3
|
|
7
|
109
|
July 30, 2020
|
|
I organized the head-to-tail list traversal idioms into three categories
|
|
1
|
38
|
July 28, 2020
|
|
Proposal: Why not add assertion/2?
|
|
9
|
76
|
July 27, 2020
|
|
Calling call//1 makes DCG nonfunctional? (+ "difference list" in DCGs vs. "difference list" for appending)
|
|
21
|
216
|
July 26, 2020
|
|
Debug/3 only comments the first line?
|
|
6
|
71
|
July 6, 2020
|
|
Ordering residual goals in query answers
|
|
11
|
145
|
June 28, 2020
|
|
What's the rationale for `must_be/2` to throw on type mismatch?
|
|
16
|
227
|
June 25, 2020
|
|
Open dif/2 constraint not being printed - may be expected
|
|
3
|
54
|
June 21, 2020
|
|
Dif/2 call as implication premiss: is the implication's else part run? Should it be?
|
|
29
|
262
|
June 17, 2020
|
|
Towards an extension of `library(error)`
|
|
10
|
123
|
June 9, 2020
|
|
For your enjoyment: A more complete diagram of the Byrd Box Model
|
|
6
|
92
|
June 8, 2020
|
|
Possibly too discriminatory behaviour by atom_string/2
|
|
8
|
118
|
June 5, 2020
|
|
How to find an already available open genealogy application in prolog for private use?
|
|
20
|
375
|
June 2, 2020
|
|
A pure sort/2
|
|
16
|
79
|
May 31, 2020
|
|
Tagging terms leads to: How to go down cyclic terms? How to write the dict functor?
|
|
2
|
68
|
May 29, 2020
|
|
Conceptual graphs
|
|
1
|
51
|
May 28, 2020
|
|
Plunit and keeping "clauses together"
|
|
5
|
64
|
May 25, 2020
|
|
Some concrete problems with the SWI-Prolog documentation site comment box
|
|
3
|
102
|
May 22, 2020
|
|
Clean up the comment about SWI Prolog downloads being wrongly labeled as "malware"?
|
|
2
|
55
|
May 22, 2020
|
|
SWISH Notebook: TeX Support
|
|
4
|
91
|
May 20, 2020
|
|
Lambda compiler?
|
|
2
|
68
|
May 20, 2020
|
