% append (concat in Bratko) with difference lists.
append_dl( X-Y,Y-Z,X-Z).