🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #3265

reals and integers

#3265
From: Andy Cheese
Date: Fri, 22 Apr 1988 09:27
34 lines
1702 bytes
having agreed all integers are reals, and the only thing a float can be
is a float, lets look at BSI document PS/172 page 17 bip real/1.
real(X) succeeds if X is a real, it doesn't say succeeds if X is a float.
if i see the word "real" writen in english when refering to numbers i expect
it to mean real numbers.

real(3). fails
real(3.3) succeeds.
what is this nonsense.

float(3). fails
float(3.3). succeeds
this makes more sense.

oh Richard why do you (according to the document) say reals are the
opposite of complex, reals are complex numbers, or else you've changed
the meaning of the word "opposite", or you've been misquoted.

there might be a more up to date document than PS/172 for the description
of real/1 but i couldn't find it.
---------------------------------------------------------------------

JANET : abc@uk.ac.nott.cs              Andy Cheese
ARPA  : abc%nott.cs@ucl-cs.arpa        Department of Computer Science,
                                       University of Nottingham,
Functional vs. Logic Programming       University Park,
If You Can't Decide Between Em,        Nottingham.
-- Join Em                             NG7 2RD.
                                       England.
 
                                       Tel. No. : (0602) 484848 ext. 2765
-- 
Andy Cheese
Technical Details
Message-ID: <1214@robin.cs.nott.ac.uk>
Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!ukc!dcl-cs!nott-cs!abc

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!ukc!dcl-cs!nott-cs!abc
From: abc@cs.nott.ac.uk (Andy Cheese)
Newsgroups: comp.lang.prolog
Subject: reals and integers
Message-ID: <1214@robin.cs.nott.ac.uk>
Date: 22 Apr 88 09:27:56 GMT
Reply-To: abc@cs.nott.ac.uk (Andy Cheese)
Organization: Computer Science, Nottingham Univ., UK.
Lines: 34
Keywords: too many to mention here