Floating point arithmetics

Discussion on the revision of the current Core standard

Moderator: Paulo Moura

Floating point arithmetics

Postby mauro » Wed May 23, 2007 2:54 pm

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?

Mauro Di Nuzzo

Thou great star! What would be thy happiness if thou hadst not those for whom thou shinest!
Posts: 7
Joined: Tue May 22, 2007 11:55 am
Location: Rome, Italy

Postby gotlieb » Thu Oct 04, 2007 1:17 pm

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
Posts: 1
Joined: Thu Oct 04, 2007 12:01 pm

Re: Floating point arithmetics

Postby Joachim Schimpf » Thu Oct 08, 2009 5:26 am

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 http://eclipse-clp.org/Specs/core_float_20091008.txt
(i tried to attach it, but the forum software doesn't allow .txt extensions...)

Best regards,
-- Joachim
Joachim Schimpf
Posts: 2
Joined: Thu May 24, 2007 4:12 pm

Return to Core Revision

Who is online

Users browsing this forum: No registered users and 1 guest