05.07.01. Listenelemente verdoppeln – Regel formulieren

Schreibe 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.

?- double_elements([1,4,3],[2,8,6]).
true.
?- double_elements([3,4,1],[2,8,6]).
false.
?- double_elements([],[]).
true.

Welche der Aussagen stimmen in Bezug auf die Aufgabe?

beide Listen müssen IMMER gleich lang sein

Für die Lösung benötigt man keine Regel, die ':-' nutzt.

Damit dieses Prädikat wahr werden kann müssen mehrer Dinge geprüft werden und man muss durch alle Listenelemente gehen. Ohne ein ‚gilt, wenn‘ kommt man hier nicht weiter.

Hier bietet sich Rekursion zur Lösung an

Nur eine der beiden Listen muss in Head und Tail geteilt werden

Das Prädikat ist wahr, wenn wir die ersten beiden Elemente nehmen, diese bezüglich der in der Aufgabe benannten Bedingung wahr sind und wenn wir dies auch für die anschließenden Elemente prüfen können.

Wenn man wie kurz vorher beschrieben die Liste durchgeht, wie sehen die Listen dann am Ende, beim letzten Schritt aus?

Überlege dir dann selber, wozu du diese Information nutzen kannst.

Man ist bei den letzten beiden Elementen der Liste

Wenn man bei den letzten beiden Elementen ist, heißt das eigentlich, dass diese auch wieder verglichen werden müssen, ob die eine doppelt so groß ist, wie die andere.

double_elements([1],[1]).

Außerdem gibt es noch den Fall, dass eine Liste länger sein könnte als die andere, z.B.:

double_elements([1],[]).

Genau eine der beiden Listen ist immer leer.

Das bedeutet eine Liste hat noch mindestens ein Element und die andere keines. Kann das Prädikat denn so wahr werden? Immerhin sollte des Programm versuchen, dann

Beide Listen müssen leer sein

Was machst du nun mit den Heads der beiden Listen?

Vergleichen, ob der Head der ersten Liste doppelt so groß ist, wie der Head der zweiten Liste

Schaue dir nochmal die Beispiele aus der Aufgabenstellung an.

Vergleichen, ob der Head der zweiten Liste doppelt so groß ist, wie der Head der ersten Liste

Ich verwende diese im rekursiven Aufruf

Die Head im rekursiven Aufruf zu benutzen würde bedeuten, dass man die Restliste, also den Tail „wegschmeißt“. Wenn man das macht, können die anderen Elemente nicht mehr verglichen werden.

Ich verwende diese für den Akkumulator

Bist du sicher, dass du in dieser Aufgabe einen Akkumulator brauchst?

Was machst du mit den Tails der Listen in dem Prädikat?

Vergleichen, ob der Tail der ersten Liste, doppelt so groß ist, wie der Teil der zweiten Liste

Der Tail ist eine Liste und man kann nicht einfach vergleichen, ob eine Liste doppelt so groß ist wie die andere.

Wenn du aber die Liste in Head und Tail aufgeteilt hast, bedeutet das, dass du im nächsten Schritt bei der Restliste, also dem Tail das erste Element betrachten kannst.

Vergleichen, ob der Tail der zweiten Liste, doppelt so groß ist, wie der Teil der ersten Liste

Der Tail ist eine Liste und man kann nicht einfach vergleichen, ob eine Liste doppelt so groß ist wie die andere.

Wenn du aber die Liste in Head und Tail aufgeteilt hast, bedeutet das, dass du im nächsten Schritt bei der Restliste, also dem Tail das erste Element betrachten kannst.

Ich verwende diese im rekursiven Aufruf

Ich verwende diese für den Akkumulator

Bist du sicher, dass du in dieser Aufgabe einen Akkumulator brauchst?

Dies ist die letzte Quizfrage zu dieser Aufgabe. Versuche nach dieser Frage das Prädikat über den ‚Programmieren‘-Button eigenständig zu lösen.

An welcher Stelle im Code trennt man am besten die beiden Listen in Head und Tail?

Vorne, also vor dem ':-'

Mittig, direkt nach dem ':-'

Das ist theoretisch möglich, allerdings wird es eindeutiger, wenn sozusagen direkt beim Prädikataufruf Prolog, die Argumente, also die beiden Listen in Head und Tail aufteilt.

hinten, im rekursiven Aufruf

Überlege dir was denn der rekursive Schritt sein müsste.
Wie kommst du vom Vergleich der jeweils ersten beiden Elemente zu den jeweiles zweiten Elementen?

05.07.01. Listenelemente verdoppeln – Regel formulieren

Schreibe einen Kommentar Antworten abbrechen