Hello everybody, It is said about call_with_depth_limit/3 that This predicate may be used for theorem provers to realise techniques like iterative deepening. The code below is a theorem prover for classical F.O.L. that is based on Jens Otten’s work : % ------------------------------------------…

Needing help with call_with_depth_limit/3

joseph-vidal-rosset May 31, 2024, 4:48pm 44

It works now.

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