<div class="notebook">

<div class="nb-cell markdown" name="md1">
## 06.05. Listenprädikate swapfl

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:
</div>

<div class="nb-cell program" data-background="true" name="p1">
% swapfl/2
%swapfl(L1,L2): erfolgreich, wenn der Head von L1 letztes Element von L2 ist und der Head von L2 letztes Element von L1.
swapfl(...):- 
    ...
</div>

<div class="nb-cell query" name="q1">
swapfl([a,b,c,d],[d,b,c,a]).
</div>

<div class="nb-cell html" name="htm1">
Funktioniert ihr Prädikat für Listen aller Längen? Müssen die Argumente instantiiert sein?
</div>

<div class="nb-cell query" name="q2">
swapfl([],[]).
</div>

<div class="nb-cell query" name="q3">
swapfl([a],[a]).
</div>

<div class="nb-cell query" name="q4">
swapfl([a,b],[b,a]).
</div>

</div>