|
About the Nice to know category
|
|
0
|
341
|
October 4, 2019
|
|
The Prolog Day Symposium - recordings and slides
|
|
0
|
39
|
December 1, 2022
|
|
Foldnum for integer intervals like foldl for lists
|
|
2
|
51
|
November 29, 2022
|
|
A simple but powerful generalization of path counting in rectangular grid graphs
|
|
0
|
67
|
October 31, 2022
|
|
Useful predicate: run_process/3
|
|
9
|
149
|
November 2, 2022
|
|
A small extension to ZDD for sets and lists to coexist enumerates permutations of a list of length 13
|
|
0
|
66
|
October 24, 2022
|
|
How to search SWI-Prolog Change Logs
|
|
0
|
68
|
October 21, 2022
|
|
SWI-Prolog versioning
|
|
0
|
78
|
October 18, 2022
|
|
sCASP: some amazing queries
|
|
3
|
139
|
October 10, 2022
|
|
The number of paths of the rectangular grid graph 13 x 13
|
|
6
|
138
|
October 8, 2022
|
|
Fixing a small gap in preprocessing for ZDD based propositional refutation
|
|
0
|
63
|
September 26, 2022
|
|
A transparent revision on interface with ZDD library
|
|
0
|
72
|
September 17, 2022
|
|
Byte Magazine Volume 12 Number 09: Prolog and 386 Hardware Software (1987)
|
|
1
|
162
|
September 1, 2022
|
|
Counting connected undirected graphs with given nodes using ZDD
|
|
0
|
71
|
August 29, 2022
|
|
SWI-Prolog dependencies from CMake generated graphviz
|
|
0
|
88
|
August 27, 2022
|
|
Writing a code on flattening a family of sets as an informative exercise on ZDD
|
|
0
|
69
|
August 22, 2022
|
|
Counting cycles in a rectangle undirected grid graph
|
|
1
|
109
|
August 7, 2022
|
|
CNF/DNF are built in ZDD with almost zero cost
|
|
39
|
416
|
August 6, 2022
|
|
Something to be considered with modules
|
|
2
|
148
|
August 2, 2022
|
|
For SWI-Prolog documentation pages, show source appears only on pages for predicate
|
|
0
|
110
|
July 29, 2022
|
|
Library(csv) will convert space then integer into an atom and not an integer for default options
|
|
0
|
75
|
July 25, 2022
|
|
DBpedia - structured information that resembles an open knowledge graph (OKG)
|
|
0
|
104
|
July 17, 2022
|
|
Prolog at 21 on TIOBE index
|
|
5
|
395
|
July 9, 2022
|
|
Internet Outages Map
|
|
0
|
89
|
June 21, 2022
|
|
Just sponsored swi-prolog w/ 10 USD a month at git ... you can sponsor too
|
|
1
|
111
|
June 21, 2022
|
|
Library(persistency) and Microsoft Defender
|
|
0
|
115
|
June 16, 2022
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
129
|
June 6, 2022
|
|
Forall/2, foreach/2, double negation, relational division and SQL
|
|
5
|
305
|
June 3, 2022
|
|
On a logical reading of `foreach/2` predicate
|
|
8
|
383
|
June 2, 2022
|
|
Is_ordset/1 with atoms and variables
|
|
6
|
217
|
May 22, 2022
|