Trees proof


Generating proof trees.

Source: PROLOG programming for artificial intelligence, 3rd Edition, Harlow, 2001, ISBN 0-201-40375-7.


Program source code:


% Figure 15.8  Generating proof trees.
% is_true( P, Proof) Proof is a proof that P is true
:-  op( 800, xfx, <=).
:-  op( 800, fx, if).
:-  op( 700, xfx, then).
:-  op( 300, xfy, or).
:-  op( 200, xfy, and).
is_true( P, P)  :-
   fact( P).
is_true( P, P <= CondProof)  :-
   if Cond then P,
   is_true( Cond, CondProof).
is_true( P1 and P2, Proof1 and Proof2)  :-
   is_true( P1, Proof1),
   is_true( P2, Proof2).
is_true( P1 or P2, Proof)  :-
   is_true( P1, Proof)
   is_true( P2, Proof).


pl/prolog/pllib/trees_proof.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna) Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0