use_module(clpfd).
use_module(uwnutil).
maplist(_+_, Xs).

maplist(+\(X,Y^dif(Y,X)), Xs).
;