Re: more version 7 woes re phrase/3

Richard O'Keefe:
> > or even, simply go back to the basics and rely
> > on call/3:
> >
> > 	call(ruleset, StateIn, StateOut).
>
> which does not transform the rule body correctly.

Not necessarily so.  In YAP:

http://sourceforge.net/p/yap/yap-6.3/ci/master/tree/pl/grammar.yap

phrase(P, S0, S) :-
	call(P, S0, S).

!(S, S).

[](S, S).

...

','(A,B, S0, S) :-
	 '$t_body'((A,B), _, last, S0, S, Goal),
	 '$execute'(Goal).