04.03. Matching von Listen mit anonymer Variable

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

?- [] = _.
?- [] = [_].
?- [] = [_|[]].
?- [_]=[_|[]].
?- [_,X,_,Y|_] = [dead(zed), [2, [b, chopper]], [], []].
?- [_,X,_,Y|_] = [dead(zed), [2, [b, chopper]], []].
?- [_,_,[_|X]|_] = [[], dead(zed), [2, [b, chopper]], [], Z, [2, [b, chopper]]].