|
WSL and WSLg now work on Windows 10
|
|
0
|
396
|
December 20, 2022
|
|
DBpedia - structured information that resembles an open knowledge graph (OKG)
|
|
0
|
430
|
July 17, 2022
|
|
Automating Commonsense Reasoning with ASP and s(CASP)*
|
|
0
|
434
|
December 2, 2022
|
|
The Prolog Day Symposium - recordings and slides
|
|
0
|
307
|
December 1, 2022
|
|
Foldnum for integer intervals like foldl for lists
|
|
2
|
361
|
November 29, 2022
|
|
A simple but powerful generalization of path counting in rectangular grid graphs
|
|
0
|
332
|
October 31, 2022
|
|
Useful predicate: run_process/3
|
|
9
|
425
|
November 2, 2022
|
|
A small extension to ZDD for sets and lists to coexist enumerates permutations of a list of length 13
|
|
0
|
340
|
October 24, 2022
|
|
How to search SWI-Prolog Change Logs
|
|
0
|
380
|
October 21, 2022
|
|
SWI-Prolog versioning
|
|
0
|
487
|
October 18, 2022
|
|
sCASP: some amazing queries
|
|
3
|
448
|
October 10, 2022
|
|
Fixing a small gap in preprocessing for ZDD based propositional refutation
|
|
0
|
256
|
September 26, 2022
|
|
A transparent revision on interface with ZDD library
|
|
0
|
238
|
September 17, 2022
|
|
Byte Magazine Volume 12 Number 09: Prolog and 386 Hardware Software (1987)
|
|
1
|
423
|
September 1, 2022
|
|
Counting connected undirected graphs with given nodes using ZDD
|
|
0
|
256
|
August 29, 2022
|
|
SWI-Prolog dependencies from CMake generated graphviz
|
|
0
|
262
|
August 27, 2022
|
|
Writing a code on flattening a family of sets as an informative exercise on ZDD
|
|
0
|
267
|
August 22, 2022
|
|
Counting cycles in a rectangle undirected grid graph
|
|
1
|
429
|
August 7, 2022
|
|
Something to be considered with modules
|
|
2
|
356
|
August 2, 2022
|
|
For SWI-Prolog documentation pages, show source appears only on pages for predicate
|
|
0
|
381
|
July 29, 2022
|
|
Library(csv) will convert space then integer into an atom and not an integer for default options
|
|
0
|
230
|
July 25, 2022
|
|
Prolog at 21 on TIOBE index
|
|
5
|
774
|
July 9, 2022
|
|
Internet Outages Map
|
|
0
|
360
|
June 21, 2022
|
|
Just sponsored swi-prolog w/ 10 USD a month at git ... you can sponsor too
|
|
1
|
308
|
June 21, 2022
|
|
Library(persistency) and Microsoft Defender
|
|
0
|
392
|
June 16, 2022
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
463
|
June 6, 2022
|
|
Forall/2, foreach/2, double negation, relational division and SQL
|
|
5
|
969
|
June 3, 2022
|
|
On a logical reading of `foreach/2` predicate
|
|
8
|
1112
|
June 2, 2022
|
|
Is_ordset/1 with atoms and variables
|
|
6
|
465
|
May 22, 2022
|
|
2) Algorithm for prolog engine - Generation Matrix: An Embeddable Matrix Representation for Hierarchical Trees
|
|
0
|
358
|
April 30, 2022
|