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 13 \hinweis{appendnachsuffix14}
\hinweis{appendnachsuffix12}

Informelle Herleitung

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

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

Das 1. Argument in der Regel wird nur an des
darauffolgende Ziel weitergereicht, und genau
das wollen wir ja so gerne wegstreichen! Wir
haben damit alle Auswirkungen des 1. Argumentes
untersucht und kommen zum Schluß, daß wir es
ganz einfach vergessen können.

Vorsicht: Wenn das AXs im Ziel z.B. als 2.
Argument vorkäme, dürften wir gar nichts
wegstreichen!
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German