🚀 go-pugleaf

> Does anybody know how to implement PROLOG meta-circular interpreter
> with cut without using ancestor cut? Is there a clean way to implement
> (both at PROLOG level and at meta-interpreter level) ancestor cut?
> 

% I have solved the question I have posed, so never mind.
% Here is the meta-circular PROLOG interpreter which includes 
% both "cut" and "ancestor cut". (For explanation of what
% "ancestor cut" is see Sterling and Shapiro book
% "the art of prolog"). A proof of correctness is going
% to appear elsewhere.

%----------------------------------------------------------
% meta-circular interpreter which includes 
% "cut", "ancestor cut", "or" and "not" at the meta-level. 
%----------------------------------------------------------
% Author: Rafail Ostrovsky                    4/23/1987
%----------------------------------------------------------
%
solve(G) :- solve(G,_).
solve(!,X) :- var(X);X=cut.
solve(ancestor_cut(Pred),X) :- var(X);X=Pred.
solve(not(A),C) :- not solve(A,C).
solve((A,B),C) :- solve(A,C),solve(B,C).
solve((A;B),C) :- solve(A,C);solve(B,C).
solve(A,C) 
  :-  nonvar(C);
      (system_pred(A),!,A);
      (  clause(A,B),
         solve(B,C1),
         (  var(C1); 
            (nonvar(C1),functor(A,C1,_),!,fail); 
            (C1==cut,!,fail); 
            (nonvar(C1),C=C1))).

system_pred(clause(_,_)).
system_pred(true).
system_pred(solve).
%----------------------------------------------------------
Example:

test(X) :- p(X),q(X).
test(X) :- q(X).

p(1).
p(2).
p(3) :- ancestor_cut(test).
p(4).

q(1).
q(2).
q(3).
q(4).

?- solve(test(X)) will succeed with X = {1,2,3}.

/raf