fig15_8.pl

来自「超多的prolog源代码 具体内容见压缩包里面的programs.txt」· PL 代码 · 共 22 行

% Figure 15.8  Generating proof trees.

% is_true( P, Proof) Proof is a proof that P is true

:-  op( 800, xfx, <=).

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).