% Example for late instantiation with built-in unification % Terminating % Author: Thomas Stroeder %query: p(o,o,o). p(X,X,a) :- !. p(X,Y,Z) :- Z = a, X = Y, p(X,Y,Z).
content may be truncated. 'popout' for larger text window.
