06.05.02. Listenprädikate swapfl (Zusatzaufgabe)

Schreibe ein Prädikat swapfl/2, das zwei Listen akzeptiert, wenn die eine aus der anderen durch Vertauschen des ersten und des letzten Elements hervorgeht:

?- swapfl([a,b,c,d],[d,b,c,a]).
true.

Funktioniert ihr Prädikat für Listen aller Längen? Müssen die Argumente instantiiert sein?