remove_sign(X,Y):- X>=0, Y is X; X<0, Y is -X.
	both_signs(X,Y) :- Y is X; Y is -X.
	absolution(X,Y) :- both_signs(X,Y), Y >= 0.