% Simple example for termination because of unification without occurs-check and cuts % Author: Thomas Stroeder %query: t. t :- eq(X,f(X)), !. t :- t. eq(X,X).
content may be truncated. 'popout' for larger text window.