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 14 \hinweis{appendnachsuffix15} \hinweis{appendnachsuffix13} Informelle Herleitung suffapp([],As,As). % ^^ kann weggestrichen werden suffapp([AX|AXs],AYs,[AX|AZs]) :- % ^^^^^^^ ^! suffapp(AXs,AYs,AZs). % ^^^ suffix(SXs,SZs) :- suffapp(_,SXs,SZs). Also ...