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