Re: Floating Point

Article View: comp.lang.prolog

Article #439

#439

From: Mark Johnson
Date: Fri, 27 Oct 1989 14:59

4 lines
635 bytes

At least one Prolog I know of (BNR Prolog) uses interval arithmetic.
Couldn't this be used to provide a sound floating-point unification?

Mark

Technical Details

Message-ID: <19080@brunix.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!shadooby!samsung!ginosko!uunet!brunix!mj

References: <2491@munnari.oz.au> <36169@srcsip.UUCP> <2524@munnari.oz.au> <6688@latcs1.oz>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!shadooby!samsung!ginosko!uunet!brunix!mj
From: mj@brunix (Mark Johnson)
Newsgroups: comp.lang.prolog
Subject: Re: Floating Point
Message-ID: <19080@brunix.UUCP>
Date: 27 Oct 89 14:59:02 GMT
References: <2491@munnari.oz.au> <36169@srcsip.UUCP> <2524@munnari.oz.au> <6688@latcs1.oz>
Sender: news@brunix.UUCP
Reply-To: mj@monaco.UUCP (Mark Johnson)
Organization: Brown University Department of Computer Science
Lines: 4

Reply to Parent Message