|
How to use of upcase_atom/2 to get uppercase letters in an output
|
61
|
3845
|
January 23, 2022
|
|
Implementing Quine's algorithm
|
105
|
4359
|
September 16, 2020
|
|
leanTAP , a Prolog prover for Classical Logic
|
77
|
2105
|
February 10, 2022
|
|
Improving Wang's algorithm in Prolog
|
66
|
4228
|
September 13, 2020
|
|
How to reverse the output of proof printing in this fork of seqprover.pl
|
4
|
198
|
May 20, 2024
|
It works now.