Needing help with call_with_depth_limit/3

anon419083 July 6, 2024, 9:02am 99

It’s interesting…in that formosan pdf it looks like Jesus is teaching the basics of modal logic…

Topic		Replies	Views
How to use of upcase_atom/2 to get uppercase letters in an output Data Structure how-to	61	3846	January 23, 2022
Implementing Quine's algorithm Algorithm how-to	105	4363	September 16, 2020
leanTAP , a Prolog prover for Classical Logic Nice to know	77	2105	February 10, 2022
Improving Wang's algorithm in Prolog Algorithm how-to	66	4234	September 13, 2020
How to reverse the output of proof printing in this fork of seqprover.pl Discussion how-to	4	198	May 20, 2024