To continue the guided tour go back where You came from
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 0 \hinweis{appendnachsuffix1}
\hinweis{appendnachsuffix}
Herleitung mittels fold/unfold
append([],As,As).
append([AX|AXs],AYs,[AX|AZs]) :-
append(AXs,AYs,AZs).
suffix(SXs,SZs) :- % Definition
append(_,SXs,SZs).
Wie man von der Definition von append/3 zur
Definition von suffix/2 gelangt.
Zuerst definieren wir, was suffix sein soll.
To continue the guided tour go back where You came from
Continue reading the hints in German