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 16 \hinweis{appendnachsuffix17} \hinweis{appendnachsuffix15} Informelle Herleitung suffapp(As,As). % suffapp(AYs,[ _|AZs]) :- % suffapp(AYs,AZs). % suffix(SXs,SZs) :- suffapp(SXs,SZs). %