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 12 \hinweis{appendnachsuffix13}
\hinweis{appendnachsuffix11}

Informelle Herleitung

append([],As,As).
%      ^^    kann weggestrichen werden
append([AX|AXs],AYs,[AX|AZs]) :-
%      ^^^^^^^^      ^! 
	append(AXs,AYs,AZs).

suffix(SXs,SZs) :- 
	append(_,SXs,SZs).

In der Regel ist die Situation etwas
komplizierter: Denn das 1. Argument hat ,,ein
wenig`` mit dem 3. zu tun. Wir können es aber
dennoch wegstreichen, dadurch wird das AX dann
zur anonymen Variable.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German