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 1 \hinweis{appendnachsuffix2} \hinweis{appendnachsuffix0} Herleitung mittels fold/unfold append([],As,As). append([AX|AXs],AYs,[AX|AZs]) :- append(AXs,AYs,AZs). suffix(SXs,SZs) :- SXs = SZs. % von append([],As,As). suffix(SXs,SZs) :- SXs = AYs, % von der Regel SZs = [_|AZs], append(_,AYs,AZs). Auffalten das Zieles append(_,SXs,SZs). Am besten stellt man sich anfangs nur vor append/3 wäre nur durch das Faktum definiert. So gelangt man zur 1. Regel, analog dann für die 2. Regel.