|
Internet Outages Map
|
|
0
|
366
|
June 21, 2022
|
|
Just sponsored swi-prolog w/ 10 USD a month at git ... you can sponsor too
|
|
1
|
318
|
June 21, 2022
|
|
Library(persistency) and Microsoft Defender
|
|
0
|
406
|
June 16, 2022
|
|
Careful with forall/2 when it is used for "side-effects"
|
|
0
|
465
|
June 6, 2022
|
|
Forall/2, foreach/2, double negation, relational division and SQL
|
|
3
|
983
|
June 3, 2022
|
|
On a logical reading of `foreach/2` predicate
|
|
8
|
1152
|
June 2, 2022
|
|
Is_ordset/1 with atoms and variables
|
|
6
|
474
|
May 22, 2022
|
|
2) Algorithm for prolog engine - Generation Matrix: An Embeddable Matrix Representation for Hierarchical Trees
|
|
0
|
367
|
April 30, 2022
|
|
Value_list/3 - Construct a list of same value
|
|
7
|
744
|
April 19, 2022
|
|
Structurally equivalent (=@=) and numbervars/1
|
|
0
|
394
|
April 8, 2022
|
|
Wordle solver
|
|
7
|
1648
|
March 27, 2022
|
|
Btw. I found 8 possibilities to concat atoms in Swi Prolog
|
|
6
|
919
|
March 24, 2022
|
|
Using Quasiquotations at run time
|
|
1
|
527
|
March 17, 2022
|
|
Tabling can be considered as demand driven forward chaining
|
|
0
|
334
|
March 17, 2022
|
|
Combining probability, clpqr and meta-interpreters
|
|
2
|
428
|
February 28, 2022
|
|
Latin squares
|
|
18
|
979
|
February 27, 2022
|
|
`findall/3` for collecting non ground terms
|
|
0
|
312
|
February 26, 2022
|
|
Running EYE on swipl-wasm
|
|
18
|
1512
|
February 21, 2022
|
|
leanTAP , a Prolog prover for Classical Logic
|
|
77
|
2178
|
February 10, 2022
|
|
Easy model finder for FOL
|
|
5
|
464
|
February 15, 2022
|
|
The Incredible Proof Machine (Game)
|
|
0
|
405
|
February 14, 2022
|
|
Compiling with RTools42, UCRT (simplified)
|
|
15
|
2328
|
February 4, 2022
|
|
GitHub status site
|
|
0
|
349
|
February 2, 2022
|
|
Predicate run time context and choice points
|
|
0
|
402
|
January 27, 2022
|
|
`arg/3` is well designed to fail simply in case of out of arity
|
|
0
|
400
|
January 26, 2022
|
|
JetBrains Mono - A typeface for developers
|
|
0
|
581
|
January 20, 2022
|
|
Terminus DB has a BDFL
|
|
0
|
370
|
January 19, 2022
|
|
LaTeX proofs via seqprover.pl (a SWI-Prolog logical theorem prover )
|
|
4
|
712
|
January 16, 2022
|
|
Simple Prolog server with JavaScript client
|
|
22
|
3137
|
January 9, 2022
|
|
Retractall vs. abolish
|
|
0
|
598
|
December 29, 2021
|