|
Counting cycles in a rectangle undirected grid graph
|
|
1
|
148
|
August 7, 2022
|
|
CNF/DNF are built in ZDD with almost zero cost
|
|
39
|
453
|
August 6, 2022
|
|
Something to be considered with modules
|
|
2
|
161
|
August 2, 2022
|
|
For SWI-Prolog documentation pages, show source appears only on pages for predicate
|
|
0
|
142
|
July 29, 2022
|
|
Library(csv) will convert space then integer into an atom and not an integer for default options
|
|
0
|
93
|
July 25, 2022
|
|
Prolog at 21 on TIOBE index
|
|
5
|
450
|
July 9, 2022
|
|
Internet Outages Map
|
|
0
|
110
|
June 21, 2022
|
|
Just sponsored swi-prolog w/ 10 USD a month at git ... you can sponsor too
|
|
1
|
127
|
June 21, 2022
|
|
Library(persistency) and Microsoft Defender
|
|
0
|
137
|
June 16, 2022
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
150
|
June 6, 2022
|
|
Forall/2, foreach/2, double negation, relational division and SQL
|
|
5
|
374
|
June 3, 2022
|
|
On a logical reading of `foreach/2` predicate
|
|
8
|
439
|
June 2, 2022
|
|
Is_ordset/1 with atoms and variables
|
|
6
|
246
|
May 22, 2022
|
|
2) Algorithm for prolog engine - Generation Matrix: An Embeddable Matrix Representation for Hierarchical Trees
|
|
0
|
164
|
April 30, 2022
|
|
Value_list/3 - Construct a list of same value
|
|
7
|
328
|
April 19, 2022
|
|
Structurally equivalent (=@=) and numbervars/1
|
|
0
|
151
|
April 8, 2022
|
|
Wordle solver
|
|
7
|
776
|
March 27, 2022
|
|
Btw. I found 8 possibilities to concat atoms in Swi Prolog
|
|
6
|
401
|
March 24, 2022
|
|
Using Quasiquotations at run time
|
|
1
|
189
|
March 17, 2022
|
|
Tabling can be considered as demand driven forward chaining
|
|
0
|
160
|
March 17, 2022
|
|
Combining probability, clpqr and meta-interpreters
|
|
2
|
199
|
February 28, 2022
|
|
Latin squares
|
|
18
|
448
|
February 27, 2022
|
|
`findall/3` for collecting non ground terms
|
|
0
|
138
|
February 26, 2022
|
|
Running EYE on swipl-wasm
|
|
18
|
732
|
February 21, 2022
|
|
leanTAP , a Prolog prover for Classical Logic
|
|
79
|
1182
|
February 10, 2022
|
|
Easy model finder for FOL
|
|
5
|
214
|
February 15, 2022
|
|
The Incredible Proof Machine (Game)
|
|
0
|
211
|
February 14, 2022
|
|
A bad news: CHR mailing list is no longer accessible
|
|
6
|
298
|
February 9, 2022
|
|
Compiling with RTools42, UCRT (simplified)
|
|
15
|
1302
|
February 4, 2022
|
|
GitHub status site
|
|
0
|
197
|
February 2, 2022
|