|
Analyse big Prolog terms using SWISH
|
|
2
|
460
|
January 17, 2023
|
|
Best practices for printing
|
|
4
|
3051
|
January 12, 2023
|
|
Children of the Miracle: from Algol to Prolog
|
|
0
|
342
|
January 8, 2023
|
|
WSL and WSLg now work on Windows 10
|
|
0
|
400
|
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
|
442
|
December 2, 2022
|
|
The Prolog Day Symposium - recordings and slides
|
|
0
|
309
|
December 1, 2022
|
|
Foldnum for integer intervals like foldl for lists
|
|
2
|
369
|
November 29, 2022
|
|
A simple but powerful generalization of path counting in rectangular grid graphs
|
|
0
|
335
|
October 31, 2022
|
|
Useful predicate: run_process/3
|
|
9
|
427
|
November 2, 2022
|
|
A small extension to ZDD for sets and lists to coexist enumerates permutations of a list of length 13
|
|
0
|
343
|
October 24, 2022
|
|
How to search SWI-Prolog Change Logs
|
|
0
|
380
|
October 21, 2022
|
|
SWI-Prolog versioning
|
|
0
|
488
|
October 18, 2022
|
|
sCASP: some amazing queries
|
|
3
|
461
|
October 10, 2022
|
|
Fixing a small gap in preprocessing for ZDD based propositional refutation
|
|
0
|
261
|
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
|
428
|
September 1, 2022
|
|
Counting connected undirected graphs with given nodes using ZDD
|
|
0
|
258
|
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
|
269
|
August 22, 2022
|
|
Counting cycles in a rectangle undirected grid graph
|
|
0
|
431
|
August 7, 2022
|
|
Something to be considered with modules
|
|
2
|
378
|
August 2, 2022
|
|
For SWI-Prolog documentation pages, show source appears only on pages for predicate
|
|
0
|
382
|
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
|
783
|
July 9, 2022
|
|
Internet Outages Map
|
|
0
|
362
|
June 21, 2022
|
|
Just sponsored swi-prolog w/ 10 USD a month at git ... you can sponsor too
|
|
1
|
314
|
June 21, 2022
|
|
Library(persistency) and Microsoft Defender
|
|
0
|
402
|
June 16, 2022
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
465
|
June 6, 2022
|
|
Forall/2, foreach/2, double negation, relational division and SQL
|
|
3
|
973
|
June 3, 2022
|