04.02. Matching von Listen

Überlege zunächst selbst, was die Antwort sein wird, was wird gematcht, wie werden Variablen belegt? Du kannst dir unter dem Punkt „Programmieren“ die Lösungen mit hilfreichen Kommentaren anschauen.

?- [a,b,c,d] = [a,[b,c,d]].
?- [a,b,c,d] = [a|[b,c,d]].
?- [a,b,c,d] = [a,b,[c,d]].
?- [a,b,c,d] = [a,b|[c,d]].
?- [a,b,c,d] = [a,b,c,[d]].
?- [a,b,c,d] = [a,b,c|[d]].
?- [a,b,c,d] = [a,b,c,d,[]].
?- [a,b,c,d] = [a,b,c,d|[]].
?- [a,b,c,d] = [a,b,X].
?- [a,b,c,d] = [a,b|X].
?- [a,b,c,d] = [a,b,[c,d]].
?- [a,b,c,d] = [a|[b|[c,d]]].
?- [[die,Y]|Z]=[[X,katze],[ist,weg]].
?- [a|B]=[A|b]. % Vorsicht: ?- is_list([a|b]). liefert ’false’.
?- [anna,X]=[Y|[maria]].