Gegeben sind folgende Definitionen:

     def([],A,[]).

    def([H|T],A,[L|Z]):- append([H|T],A,L),append(A,[H],A1),def(T,A1,Z).

 Welchen Wert erhält X bei folgenden Aufruf def([1,2,3,4],[],X). Beschreiben Sie die Arbeitsweise! Welche Rolle spielt das zweite Argument? Listen Sie die Belegungen der Argumente für jeden rekursiven Aufruf des Prädikats auf.