<div class="notebook">

<div class="nb-cell program" name="p1">
reverse(List, Reversed) :-
    reverse(List, [], Reversed).

reverse([], Buffer, Buffer).
reverse([Head|Tail], Buffer, Reversed) :-
    reverse(Tail, [Head|Buffer], Reversed).
</div>

</div>