% Author: Thomas Stroeder % terminating %query: list(i). list([]) :- !. list(X) :- tail(X,T), list(T). tail([],[]). tail([X|Xs],Xs).
content may be truncated. 'popout' for larger text window.