04.07. all_members

Für die Definition des Prädikate kann member/2 verwendet werden.

Schreibe ein Prädikat all_members/2, das zwei Listen L1 und L2 nimmt und gelingt, wenn alle Elemente von L1 auch Element von L2 sind. L1 ist das erste und L2 das zweite Argument von all_members/2.

?- all_members([a,c],[a,b,c,d]).
true.
?- all_members([a,e],[a,b,c,d]).
false.
?- all_members(a,[a,b,c,d]).
false.

Entweder du versuchst direkt die Aufgabe über den ‚Programmieren‘-Button zu lösen, oder du bearbeitest zunächst die Unteraufgaben und programmierst im Anschluss.