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  1 \hinweis{appendnachsuffix2}
\hinweis{appendnachsuffix0}

Herleitung mittels fold/unfold

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

suffix(SXs,SZs) :-
	SXs = SZs.         % von append([],As,As).
suffix(SXs,SZs) :-
	SXs = AYs,         % von der Regel
	SZs = [_|AZs],
	append(_,AYs,AZs).


Auffalten das Zieles append(_,SXs,SZs). Am
besten stellt man sich anfangs nur vor append/3
wäre nur durch das Faktum definiert. So gelangt
man zur 1. Regel, analog dann für die 2. Regel.

**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German