%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Programma per il calcolo del valore assoluto 
% di un numero intero
% 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%%% abs(X,Y): vero se Y e' il valore assoluto di X

abs(X,X) :- 
   X >= 0.
abs(X,Y) :-
   X < 0, Y is -X.


%%% Interfaccia utente

start :-
   write('Dammi un intero '),
   read(N),
   abs(N,M),
   write('Il valore assoluto di '),
   write(N),
   write(' e'' '),
   write(M), nl.


