Beispiele

Programm:

append(nil,Y,Y).
append(cons(X,Y),Z,cons(X,W)) :- 
    append(Y,Z,W).
Anfragen:
?- append (cons(a,nil),cons(b,nil),Z).
?- append (X,Y,nil).
?- append (X,Y,cons(a,nil)).
?- append (X,X,cons(a,cons(a,nil))).



Johannes Waldmann 2010-01-25