|
What is the best practice for "namespacing" imports?
|
|
6
|
310
|
November 19, 2020
|
|
Save prolog execution state
|
|
3
|
212
|
October 31, 2020
|
|
Attributed Variables: A simple test, an unexplained failure
|
|
10
|
403
|
October 26, 2020
|
|
Using prolog "as intended"
|
|
17
|
659
|
October 11, 2020
|
|
Time results understanding
|
|
3
|
251
|
October 9, 2020
|
|
Operands and equation questions
|
|
8
|
340
|
October 5, 2020
|
|
Library(strings) - dedent_string, indent_string, split_lines
|
|
16
|
501
|
September 27, 2020
|
|
Comparing CLPR with CLPBNR for constraints on reals
|
|
5
|
322
|
September 23, 2020
|
|
Yfy-pattern
|
|
12
|
254
|
September 12, 2020
|
|
Should example ECMAScript code use modules? (Related to Ctyoscape.js code for drawing graphs)
|
|
2
|
280
|
September 8, 2020
|
|
Once this predicate is tabled, it loops forever
|
|
15
|
426
|
September 4, 2020
|
|
Assertz after existing rule
|
|
4
|
237
|
August 28, 2020
|
|
Module_property/2 - include property for super
|
|
7
|
265
|
August 21, 2020
|
|
New notation for dict-based "method indicators"?
|
|
5
|
307
|
July 20, 2020
|
|
Patterns for functional composition, expressions, conciseness?
|
|
14
|
508
|
July 31, 2020
|
|
Sterile choicepoint left open in SWI-Prolog 8.3.5 vs in 8.3.4
|
|
1
|
203
|
August 9, 2020
|
|
I just finished coding a between/3 with steps: between/4
|
|
14
|
389
|
August 8, 2020
|
|
Terminology: "true", "entailed", "provable", "holds"
|
|
16
|
870
|
August 8, 2020
|
|
Ways to segregate test from code, feedback desired
|
|
1
|
171
|
August 5, 2020
|
|
Natural datastructure for 2-D or more freely accessible array of characters
|
|
9
|
297
|
August 3, 2020
|
|
Sunday random thoughts: Prolog's asymetry of Goal vs Clause & library(yall) problems
|
|
5
|
209
|
August 2, 2020
|
|
Edge case: dicts and compound_name_arity/3
|
|
6
|
276
|
July 30, 2020
|
|
I organized the head-to-tail list traversal idioms into three categories
|
|
0
|
173
|
July 28, 2020
|
|
Proposal: Why not add assertion/2?
|
|
8
|
282
|
July 27, 2020
|
|
Calling call//1 makes DCG nonfunctional? (+ "difference list" in DCGs vs. "difference list" for appending)
|
|
20
|
903
|
July 26, 2020
|
|
Debug/3 only comments the first line?
|
|
5
|
299
|
July 6, 2020
|
|
Ordering residual goals in query answers
|
|
10
|
283
|
June 28, 2020
|
|
What's the rationale for `must_be/2` to throw on type mismatch?
|
|
10
|
529
|
June 25, 2020
|
|
Open dif/2 constraint not being printed - may be expected
|
|
1
|
195
|
June 21, 2020
|
|
Dif/2 call as implication premiss: is the implication's else part run? Should it be?
|
|
26
|
708
|
June 17, 2020
|
