a(nil,A,A). a(d(H,T), B, d(H,R)) :- a(T,B,R). ?a(A,B, d(1,d(2,d(3,nil)))), write(A), write(B).