Page 1 of 1

Floating point arithmetics

PostPosted: Wed May 23, 2007 2:54 pm
by mauro
I'd like a part of the standard covering the IEEE representations of nan (not-a-number), +inf, -inf (inifinity).

For example, SICStus Prolog has got an execution mode that supports them.
Why not to make it a standard?


PostPosted: Thu Oct 04, 2007 1:17 pm
by gotlieb
Yes, I agree that the standard should conform the IEEE 754 standard for
floating-point computations that include infinities and NaNs. This is crucial for many applications that computes over floating-point values as the existence of symbolic values allows the interpreter/compiler taking care of overflows and exceptions.

Note that the sicstus mode is no more available in the last version of SICStus (4.0). As a consequence, floating-point variable cannot be unified to +inf, -inf or NaN. According to the SICStus Prolog developpers, this is due to their will to conform the ISO standard. They seems to be ready to get back to a mode where symbolic values would be available.

Arnaud Gotlieb

Re: Floating point arithmetics

PostPosted: Thu Oct 08, 2009 5:26 am
by Joachim Schimpf
I had a look at floating point related issues again, in the context of the
suggested new prolog flags, but i've also discussed infinity and nan.
My proposal is at
(i tried to attach it, but the forum software doesn't allow .txt extensions...)

Best regards,