About the Nice to know category
|
|
0
|
264
|
October 4, 2019
|
2) Algorithm for prolog engine - Generation Matrix: An Embeddable Matrix Representation for Hierarchical Trees
|
|
0
|
55
|
April 30, 2022
|
Value_list/3 - Construct a list of same value
|
|
7
|
78
|
April 19, 2022
|
Structurally equivalent (=@=) and numbervars/1
|
|
0
|
53
|
April 8, 2022
|
Wordle solver
|
|
7
|
329
|
March 27, 2022
|
Best practices for printing
|
|
3
|
811
|
March 24, 2022
|
Btw. I found 8 possibilities to concat atoms in Swi Prolog
|
|
6
|
180
|
March 24, 2022
|
Prolog at 21 on TIOBE index
|
|
1
|
143
|
March 18, 2022
|
Using Quasiquotations at run time
|
|
1
|
89
|
March 17, 2022
|
Tabling can be considered as demand driven forward chaining
|
|
0
|
83
|
March 17, 2022
|
Combining probability, clpqr and meta-interpreters
|
|
2
|
124
|
February 28, 2022
|
Latin squares
|
|
18
|
230
|
February 27, 2022
|
`findall/3` for collecting non ground terms
|
|
0
|
66
|
February 26, 2022
|
Running EYE on swipl-wasm
|
|
18
|
415
|
February 21, 2022
|
leanTAP , a Prolog prover for Classical Logic
|
|
79
|
827
|
February 10, 2022
|
Easy model finder for FOL
|
|
5
|
128
|
February 15, 2022
|
The Incredible Proof Machine (Game)
|
|
0
|
130
|
February 14, 2022
|
On a logical reading of `foreach/2` predicate
|
|
7
|
171
|
February 11, 2022
|
A bad news: CHR mailing list is no longer accessible
|
|
6
|
149
|
February 9, 2022
|
Compiling with RTools42, UCRT (simplified)
|
|
15
|
658
|
February 4, 2022
|
GitHub status site
|
|
0
|
126
|
February 2, 2022
|
Predicate run time context and choice points
|
|
0
|
83
|
January 27, 2022
|
`arg/3` is well designed to fail simply in case of out of arity
|
|
0
|
83
|
January 26, 2022
|
JetBrains Mono - A typeface for developers
|
|
0
|
124
|
January 20, 2022
|
Terminus DB has a BDFL
|
|
0
|
90
|
January 19, 2022
|
LaTeX proofs via seqprover.pl (a SWI-Prolog logical theorem prover )
|
|
4
|
159
|
January 16, 2022
|
Simple Prolog server with JavaScript client
|
|
22
|
1136
|
January 9, 2022
|
Retractall vs. abolish
|
|
0
|
150
|
December 29, 2021
|
PlantUML - An easier way to use GraphViz
|
|
0
|
158
|
December 26, 2021
|
Experience using MacOS Monterey in the M1 (aka Apple silicon)
|
|
6
|
787
|
December 20, 2021
|