06.05.01. Listenprädikate sublist und swapfl

Überlegen Sie sich eine alternative Definition für sublist/2.

Schreiben Sie 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?