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 17 \hinweis{init} \hinweis{appendnachsuffix16} Informelle Herleitung suffapp(As,As). suffapp(AYs,[ _|AZs]) :- suffapp(AYs,AZs). suffix(SXs,SZs) :- suffapp(SXs,SZs). Kompliziert? Falls Sie etwas hier nicht verstanden haben, sagen Sie's mir bitte! < Bild 11 ist unverständlich Nochmals alles: \hinweis{appendnachsuffix} Letztes: \hinweis{appendnachsuffix10} Zurück: \hinweis{init}