fig23_1.pl

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

% Figure 23.1  The basic Prolog meta-interpreter.


% The basic Prolog meta-interpreter

prove( true).

prove( ( Goal1, Goal2))  :-
  prove( Goal1),
  prove( Goal2).

prove( Goal)  :-
  clause( Goal, Body),
  prove( Body).