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