To continue the guided tour go back where You came from
Continue reading the hints in German (...)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 ...
To continue the guided tour go back where You came from
Continue reading the hints in German