|
About the Nice to know category
|
|
0
|
304
|
October 4, 2019
|
|
Byte Magazine Volume 12 Number 09: Prolog and 386 Hardware Software (1987)
|
|
0
|
55
|
August 12, 2022
|
|
Counting cycles in a rectangle undirected grid graph
|
|
1
|
57
|
August 7, 2022
|
|
CNF/DNF are built in ZDD with almost zero cost
|
|
42
|
336
|
August 6, 2022
|
|
Something to be considered with modules
|
|
2
|
84
|
August 2, 2022
|
|
For SWI-Prolog documentation pages, show source appears only on pages for predicate
|
|
0
|
55
|
July 29, 2022
|
|
Library(csv) will convert space then integer into an atom and not an integer for default options
|
|
0
|
43
|
July 25, 2022
|
|
DBpedia - structured information that resembles an open knowledge graph (OKG)
|
|
0
|
63
|
July 17, 2022
|
|
Prolog at 21 on TIOBE index
|
|
5
|
304
|
July 9, 2022
|
|
Internet Outages Map
|
|
0
|
61
|
June 21, 2022
|
|
Just sponsored swi-prolog w/ 10 USD a month at git ... you can sponsor too
|
|
1
|
80
|
June 21, 2022
|
|
Library(persistency) and Microsoft Defender
|
|
0
|
76
|
June 16, 2022
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
69
|
June 6, 2022
|
|
Forall/2, foreach/2, double negation, relational division and SQL
|
|
5
|
224
|
June 3, 2022
|
|
On a logical reading of `foreach/2` predicate
|
|
8
|
309
|
June 2, 2022
|
|
Is_ordset/1 with atoms and variables
|
|
6
|
138
|
May 22, 2022
|
|
2) Algorithm for prolog engine - Generation Matrix: An Embeddable Matrix Representation for Hierarchical Trees
|
|
0
|
105
|
April 30, 2022
|
|
Value_list/3 - Construct a list of same value
|
|
7
|
194
|
April 19, 2022
|
|
Structurally equivalent (=@=) and numbervars/1
|
|
0
|
87
|
April 8, 2022
|
|
Wordle solver
|
|
7
|
528
|
March 27, 2022
|
|
Best practices for printing
|
|
3
|
1017
|
March 24, 2022
|
|
Btw. I found 8 possibilities to concat atoms in Swi Prolog
|
|
6
|
248
|
March 24, 2022
|
|
Using Quasiquotations at run time
|
|
1
|
142
|
March 17, 2022
|
|
Tabling can be considered as demand driven forward chaining
|
|
0
|
114
|
March 17, 2022
|
|
Combining probability, clpqr and meta-interpreters
|
|
2
|
162
|
February 28, 2022
|
|
Latin squares
|
|
18
|
301
|
February 27, 2022
|
|
`findall/3` for collecting non ground terms
|
|
0
|
102
|
February 26, 2022
|
|
Running EYE on swipl-wasm
|
|
18
|
546
|
February 21, 2022
|
|
leanTAP , a Prolog prover for Classical Logic
|
|
79
|
906
|
February 10, 2022
|
|
Easy model finder for FOL
|
|
5
|
170
|
February 15, 2022
|