@number + @number [ISO]

This arithmetic predicate adds the two numbers. It doesn't matter if the numbers are integers or floating point values.

see also: arithmetic in Prolog is/2

Examples
X is 1 + 2. succeeds, X is  3
X is 1.1 + 2. succeeds, X is 3.1

 

Exceptions
The result exceeds the floating point range an evaluation_error(float_overflow) exception is thrown

 

 

info@trinc-prolog.com