EJEMPLO :

append ([a,b],[c,d],x).
append ([a,[b]],[c,d],[a|w]:-append [b],[c,d],w).
append ([b|[]],[c,d],[b|w]:-append [],[c,d],w).
append ([],[c,d],[c,d]).

PANTALLA DE XSB: