ˆ/2 and ˆ/3 are not built-ins.

This commit is contained in:
Vitor Santos Costa 2010-08-04 23:32:46 +01:00
parent 18c3292dad
commit 0fd0662603

View File

@ -15,11 +15,11 @@
* *
*************************************************************************/
:- meta_predicate ^(?,0,?).
^(Xs, Goal, Xs) :- call(Goal).
% :- meta_predicate ^(?,0,?).
% ^(Xs, Goal, Xs) :- call(Goal).
:- meta_predicate ^(?,1,?,?).
^(Xs0, Goal, Xs0, Xs) :- call(Goal, Xs).
% :- meta_predicate ^(?,1,?,?).
% ^(Xs0, Goal, Xs0, Xs) :- call(Goal, Xs).
/*
Variables X in grammar rule bodies are translated as