% The even predicate using unification without occur check and lists % Author: Thomas Stroeder %query: e(i). e(X) :- Y = [e,o|Y], c(Y,X). c([e|_],0). c([_|X],s(Y)) :- c(X,Y).
content may be truncated. 'popout' for larger text window.
