|
When format, ansi_format, print_term and print_message don't seem right, try portray
|
|
2
|
132
|
July 14, 2020
|
|
Useful command to clear the console
|
|
0
|
3313
|
July 20, 2019
|
|
Converting character codes of hexadecimal digits to number
|
|
2
|
112
|
July 9, 2020
|
|
Preserving CR with LF when converting text files to character codes
|
|
2
|
160
|
July 3, 2020
|
|
. must_be/2 and is_of_type/2 types
|
|
0
|
238
|
November 26, 2019
|
|
Source code for process_create/3 and process_create/2
|
|
0
|
89
|
June 22, 2020
|
|
Some notes on writing a concurrent programing Howto. Comments and corrections welcome
|
|
3
|
676
|
June 17, 2020
|
|
Easiest way to plot
|
|
2
|
163
|
June 11, 2020
|
|
For your enjoyment: A more complete diagram of the Byrd Box Model
|
|
5
|
185
|
June 8, 2020
|
|
Prolog within Repl.it
|
|
0
|
116
|
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
|
81
|
May 11, 2020
|
|
My notes on difflists
|
|
6
|
215
|
May 11, 2020
|
|
"Simple text editor" mousepad handles Prolog syntax highlighting
|
|
2
|
222
|
May 10, 2020
|
|
Decision diagram for the SWI-Prolog "pseudo-types"
|
|
34
|
773
|
May 7, 2020
|
|
DCGs can be faster than recursive descent
|
|
2
|
121
|
May 5, 2020
|
|
Trying out a new formatting style
|
|
19
|
452
|
May 3, 2020
|
|
Schubert's Steamroller in Prolog
|
|
6
|
309
|
May 3, 2020
|
|
New podcast about logic programming
|
|
2
|
258
|
April 26, 2020
|
|
Property-based testing
|
|
3
|
166
|
April 23, 2020
|
|
The guitar fretboard is a never-ending landscape of interesting relationships ripe for exploration, so Prolog seems like a valuable tool to have at our arsenal as fretboard explorers
|
|
6
|
335
|
April 23, 2020
|
|
Fun exercise: Transform foldr into pseudo-foldl using CLP(FD) (only for integer arithmetic of course)
|
|
0
|
127
|
April 21, 2020
|
|
Fixes to odf_sheet
|
|
3
|
133
|
April 20, 2020
|
|
Beginner's quick chart of Prolog comparison predicates
|
|
4
|
250
|
April 5, 2020
|
|
9 years ago, WG17 changed the course of Prolog standardization
|
|
1
|
146
|
April 2, 2020
|
|
Running multiple swipl. Any suggestions on quick and easy way distinguish them?
|
|
5
|
155
|
March 21, 2020
|
|
Adding some color to your text messages
|
|
0
|
115
|
March 12, 2020
|
|
SWI Prolog documentation mentions "closures" - but these are not the "closures" you are looking for
|
|
5
|
490
|
March 6, 2020
|
|
Unit testing and using assertion/1
|
|
0
|
103
|
February 26, 2020
|
|
SWISH notebook to implement labeling an argumentation graph using tabled Prolog
|
|
8
|
313
|
February 8, 2020
|
