% File 'prolog_arith.pl'
%----
:- import(prolog_num).

% arithmetic


:- type numexpr --> numexpr + numexpr ;
                    numexpr - numexpr ;
                    numexpr * numexpr ;
                    numexpr / numexpr ;
                    + num;
                    - num.
% add arithmetic functions: abs, atan, floor, sin, sqrt, ...

:- suptype numexpr  > num.

:- pred num is numexpr.			% StdP
:- pred numexpr =:= numexpr. 		% StdP
:- pred numexpr =\= numexpr.		% StdP
:- pred numexpr  < numexpr.		% StdP
:- pred numexpr =< numexpr.		% StdP
:- pred numexpr >  numexpr.		% StdP
:- pred numexpr >= numexpr.		% StdP