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 10 \hinweis{appendnachsuffix11} \hinweis{appendnachsuffix9} Informelle Herleitung append([],As,As). append([AX|AXs],AYs,[AX|AZs]) :- append(AXs,AYs,AZs). suffix(SXs,SZs) :- % Definition append(_,SXs,SZs). Wir sehen, daß das 1. Argument von append/3 ,,nicht gebraucht wird`` und hoffen, daß es sich ,,wegstreichen`` läßt. Dazu müssen wir aber die Definition von append/3 unter die Lupe nehmen.