%:- use_module(library('clp/bounds')).   % SWI-Prolog

abs(X,X) :-  
    X #>= 0.
abs(X,Y) :-  
    X #< 0, 
    Y #= 0-X.
