This is a hint (Hinweis) text of GUPU taken literally from the system. It's probably not very interesting reading for you.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German (...)

Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!

Bild  9 \hinweis{appendnachsuffix10}
\hinweis{appendnachsuffix8}

Herleitung mittels fold/unfold

append([],As,As).
append([AX|AXs],AYs,[AX|AZs]) :-
	append(AXs,AYs,AZs).

suffix(SXs,SXs).
suffix(SXs,[_|AZs]) :-
	suffix(SXs,AZs).

Voilà!

Diese ,,Herleitung`` war ganz streng formal und
recht umständlich, obwohl ja nicht allzuviel
passiert ist. So direkt kann man sich das
geistig auch nicht vorstellen, folgene andere
Herleitung ist vielleicht intuitiver.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German