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 2 \hinweis{appendnachsuffix3} \hinweis{appendnachsuffix1} Herleitung mittels fold/unfold append([],As,As). append([AX|AXs],AYs,[AX|AZs]) :- append(AXs,AYs,AZs). suffix(SXs,SZs) :- SXs = SZs. suffix(SXs,SZs) :- SXs = AYs, SZs = [_|AZs], append(_,AYs,AZs). %*** Wir betrachten nun noch einmal, wie wir eigentlich suffix definiert haben und erkennen, daß %*** ja ganz genau die Definition von suffix ist. Also dürfen wir %*** durch suffix ersetzen!