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