|
Category theory applied to C++ ... can this be done in Prolog as well
|
|
5
|
153
|
August 7, 2020
|
|
Simple term_expansion debugging
|
|
8
|
282
|
August 1, 2020
|
|
SWI-Prolog has check_installation/0
|
|
1
|
73
|
July 29, 2020
|
|
Listing example: use case for new feature in 8.3.5
|
|
1
|
71
|
July 28, 2020
|
|
I organized the head-to-tail list traversal idioms into three categories
|
|
0
|
64
|
July 28, 2020
|
|
Location of packs installed on Windows
|
|
0
|
54
|
July 26, 2020
|
|
Friday afternoon post: A quick diagram of the LP landscape
|
|
20
|
558
|
July 26, 2020
|
|
The default page (index.html) displayed by the PlDoc generator is not the one you want
|
|
0
|
52
|
July 24, 2020
|
|
Old dot notation by Russell challenge
|
|
0
|
58
|
July 22, 2020
|
|
Basic DCG example predicates
|
|
2
|
107
|
July 16, 2020
|
|
Temporarily redirect write/1 or current_output to a file
|
|
3
|
83
|
July 14, 2020
|
|
When format, ansi_format, print_term and print_message don't seem right, try portray
|
|
2
|
101
|
July 14, 2020
|
|
Useful command to clear the console
|
|
0
|
3826
|
July 20, 2019
|
|
Converting character codes of hexadecimal digits to number
|
|
2
|
91
|
July 9, 2020
|
|
Preserving CR with LF when converting text files to character codes
|
|
2
|
127
|
July 3, 2020
|
|
. must_be/2 and is_of_type/2 types
|
|
0
|
239
|
November 26, 2019
|
|
Source code for process_create/3 and process_create/2
|
|
0
|
63
|
June 22, 2020
|
|
Some notes on writing a concurrent programing Howto. Comments and corrections welcome
|
|
3
|
677
|
June 17, 2020
|
|
Easiest way to plot
|
|
2
|
126
|
June 11, 2020
|
|
For your enjoyment: A more complete diagram of the Byrd Box Model
|
|
5
|
136
|
June 8, 2020
|
|
Prolog within Repl.it
|
|
0
|
92
|
May 20, 2020
|
|
Fix to thea2 for saving in plsyn format
|
|
10
|
195
|
May 19, 2020
|
|
Tracked down the syntax highlighting config file for KDE's Kate Editor to colorize Prolog code
|
|
0
|
65
|
May 11, 2020
|
|
My notes on difflists
|
|
6
|
205
|
May 11, 2020
|
|
"Simple text editor" mousepad handles Prolog syntax highlighting
|
|
2
|
160
|
May 10, 2020
|
|
Decision diagram for the SWI-Prolog "pseudo-types"
|
|
33
|
613
|
May 7, 2020
|
|
DCGs can be faster than recursive descent
|
|
2
|
115
|
May 5, 2020
|
|
Trying out a new formatting style
|
|
19
|
296
|
May 3, 2020
|
|
Schubert's Steamroller in Prolog
|
|
6
|
259
|
May 3, 2020
|
|
New podcast about logic programming
|
|
2
|
263
|
April 26, 2020
|
