% Beispiele: Unvollstaendigkeit von Prolog (nicht mit FortProg/SWI-Skript!)

p :- p.
p.

% Loops infinitely with standard Prolog strategy:
% ?- p.


last([K|R],E) :- last(R,E).
last([E],E).

% Loops infinitely:
% ?- last(L,3).
