|
Should example ECMAScript code use modules? (Related to Ctyoscape.js code for drawing graphs)
|
|
2
|
820
|
September 8, 2020
|
|
Once this predicate is tabled, it loops forever
|
|
15
|
1017
|
September 4, 2020
|
|
Assertz after existing rule
|
|
4
|
634
|
August 28, 2020
|
|
Module_property/2 - include property for super
|
|
7
|
648
|
August 21, 2020
|
|
New notation for dict-based "method indicators"?
|
|
5
|
574
|
July 20, 2020
|
|
Patterns for functional composition, expressions, conciseness?
|
|
14
|
1143
|
July 31, 2020
|
|
Sterile choicepoint left open in SWI-Prolog 8.3.5 vs in 8.3.4
|
|
1
|
370
|
August 9, 2020
|
|
I just finished coding a between/3 with steps: between/4
|
|
14
|
956
|
August 8, 2020
|
|
Terminology: "true", "entailed", "provable", "holds"
|
|
16
|
2024
|
August 8, 2020
|
|
Ways to segregate test from code, feedback desired
|
|
1
|
504
|
August 5, 2020
|
|
Natural datastructure for 2-D or more freely accessible array of characters
|
|
9
|
751
|
August 3, 2020
|
|
Sunday random thoughts: Prolog's asymetry of Goal vs Clause & library(yall) problems
|
|
5
|
468
|
August 2, 2020
|
|
Edge case: dicts and compound_name_arity/3
|
|
6
|
589
|
July 30, 2020
|
|
Proposal: Why not add assertion/2?
|
|
8
|
662
|
July 27, 2020
|
|
Calling call//1 makes DCG nonfunctional? (+ "difference list" in DCGs vs. "difference list" for appending)
|
|
20
|
2338
|
July 26, 2020
|
|
Debug/3 only comments the first line?
|
|
5
|
668
|
July 6, 2020
|
|
Ordering residual goals in query answers
|
|
10
|
608
|
June 28, 2020
|
|
What's the rationale for `must_be/2` to throw on type mismatch?
|
|
10
|
1127
|
June 25, 2020
|
|
Open dif/2 constraint not being printed - may be expected
|
|
1
|
376
|
June 21, 2020
|
|
Dif/2 call as implication premiss: is the implication's else part run? Should it be?
|
|
25
|
1342
|
June 17, 2020
|
|
Towards an extension of `library(error)`
|
|
4
|
963
|
June 9, 2020
|
|
Possibly too discriminatory behaviour by atom_string/2
|
|
6
|
483
|
June 5, 2020
|
|
How to find an already available open genealogy application in prolog for private use?
|
|
19
|
1298
|
June 2, 2020
|
|
Tagging terms leads to: How to go down cyclic terms? How to write the dict functor?
|
|
1
|
299
|
May 29, 2020
|
|
Conceptual graphs
|
|
0
|
363
|
May 28, 2020
|
|
Plunit and keeping "clauses together"
|
|
4
|
558
|
May 25, 2020
|
|
Some concrete problems with the SWI-Prolog documentation site comment box
|
|
2
|
894
|
May 22, 2020
|
|
Clean up the comment about SWI Prolog downloads being wrongly labeled as "malware"?
|
|
1
|
687
|
May 22, 2020
|
|
SWISH Notebook: TeX Support
|
|
3
|
434
|
May 20, 2020
|
|
Lambda compiler?
|
|
1
|
416
|
May 20, 2020
|