<div class="notebook"> <div class="nb-cell markdown" name="md1"> # 04.05. Tausch Schreiben sie ein Praedikat ``tausch12/2``, das zwei Listen als Argumente nimmt und gelingt, wenn sich die beiden Listen nur in der Reihenfolge der ersten beiden Elemente unterscheiden. </div> <div class="nb-cell program" data-background="true" name="p1"> % tausch12/2 tausch12(_,_). % Ersetze die Unterstriche mit dem korrekten Programmcode. </div> <div class="nb-cell query" name="q1"> write("Ist korrekt, die Listen sind auf die ersten beiden Elemente identisch: "), tausch12([alpha,beta|RHO],[beta,alpha|RHO]). </div> <div class="nb-cell query" name="q2"> write("Ist nicht korrekt, die Listen sind vollständig identisch: "), tausch12([alpha,beta|RHO],[alpha,beta|RHO]). </div> <div class="nb-cell query" name="q3"> write("Ist nicht korrekt, auch das dritte Element ist unterschiedlich: "), tausch12([alpha,beta, gamma],[beta, alpha, delta]). </div> <div class="nb-cell query" name="q4"> write("Ist nicht korrekt, auch das vierte Element ist unterschiedlich: "), tausch12([alpha,beta, gamma, delta],[beta, alpha, gamma, eta]). </div> </div>