<div class="notebook">

<div class="nb-cell markdown" name="md1">
# 05.07. Listenelemente verdoppeln 

Schreiben Sie ein Prädikat ``double_elements/2``, das gelingt, wenn beide Argumente Listen von Zahlen sind und die zweite Liste genau aus den verdoppelten Zahlen der ersten Liste besteht.
</div>

<div class="nb-cell program" data-background="true" name="p1">
% double_elements/2
% Tipps: Arithmetik, Rekursion, Head-Tail-Zerlegung
double_elements(L1,L2):-
    write("+++ Dein Programmcode hier! +++").
</div>

<div class="nb-cell query" name="q1">
write("[1,4,3] ist verdoppelt [2,8,6]: "), double_elements([1,4,3],[2,8,6]).
</div>

<div class="nb-cell query" name="q2">
write("[3,4,1] ist verdoppelt [6,8,2]: "), double_elements([3,4,1],[6,8,2]).
</div>

<div class="nb-cell query" name="q3">
write("[] ist verdoppelt []: "), double_elements([],[]).
</div>

<div class="nb-cell query" name="q4">
double_elements([4,1,7,9],X).
</div>

</div>