|
Scryer Prolog (scryer.pl) documentation announcement discussion on Hacker News
|
|
0
|
866
|
February 5, 2023
|
|
Library(persistency) data files must have a blank last line
|
|
0
|
233
|
January 30, 2023
|
|
Wine 8.0 released
|
|
0
|
227
|
January 25, 2023
|
|
`tmp_file_stream/3` is easy to use
|
|
0
|
218
|
January 23, 2023
|
|
Analyse big Prolog terms using SWISH
|
|
2
|
398
|
January 17, 2023
|
|
Best practices for printing
|
|
4
|
2549
|
January 12, 2023
|
|
Children of the Miracle: from Algol to Prolog
|
|
0
|
314
|
January 8, 2023
|
|
WSL and WSLg now work on Windows 10
|
|
0
|
366
|
December 20, 2022
|
|
DBpedia - structured information that resembles an open knowledge graph (OKG)
|
|
0
|
382
|
July 17, 2022
|
|
Automating Commonsense Reasoning with ASP and s(CASP)*
|
|
0
|
392
|
December 2, 2022
|
|
The Prolog Day Symposium - recordings and slides
|
|
0
|
273
|
December 1, 2022
|
|
Foldnum for integer intervals like foldl for lists
|
|
2
|
312
|
November 29, 2022
|
|
A simple but powerful generalization of path counting in rectangular grid graphs
|
|
0
|
306
|
October 31, 2022
|
|
Useful predicate: run_process/3
|
|
9
|
374
|
November 2, 2022
|
|
A small extension to ZDD for sets and lists to coexist enumerates permutations of a list of length 13
|
|
0
|
315
|
October 24, 2022
|
|
How to search SWI-Prolog Change Logs
|
|
0
|
344
|
October 21, 2022
|
|
SWI-Prolog versioning
|
|
0
|
454
|
October 18, 2022
|
|
sCASP: some amazing queries
|
|
3
|
404
|
October 10, 2022
|
|
Fixing a small gap in preprocessing for ZDD based propositional refutation
|
|
0
|
217
|
September 26, 2022
|
|
A transparent revision on interface with ZDD library
|
|
0
|
209
|
September 17, 2022
|
|
Byte Magazine Volume 12 Number 09: Prolog and 386 Hardware Software (1987)
|
|
1
|
378
|
September 1, 2022
|
|
Counting connected undirected graphs with given nodes using ZDD
|
|
0
|
227
|
August 29, 2022
|
|
SWI-Prolog dependencies from CMake generated graphviz
|
|
0
|
227
|
August 27, 2022
|
|
Writing a code on flattening a family of sets as an informative exercise on ZDD
|
|
0
|
233
|
August 22, 2022
|
|
Counting cycles in a rectangle undirected grid graph
|
|
1
|
361
|
August 7, 2022
|
|
CNF/DNF are built in ZDD with almost zero cost
|
|
39
|
896
|
August 6, 2022
|
|
Something to be considered with modules
|
|
2
|
319
|
August 2, 2022
|
|
For SWI-Prolog documentation pages, show source appears only on pages for predicate
|
|
0
|
342
|
July 29, 2022
|
|
Library(csv) will convert space then integer into an atom and not an integer for default options
|
|
0
|
210
|
July 25, 2022
|
|
Prolog at 21 on TIOBE index
|
|
5
|
707
|
July 9, 2022
|