Path: utzoo!mnetor!uunet!mcvax!ukc!dcl-cs!nott-cs!abc
From: abc@cs.nott.ac.uk (Andy Cheese)
Newsgroups: comp.lang.prolog
Subject: integers and reals
Message-ID: <1152@robin.cs.nott.ac.uk>
Date: 18 Apr 88 16:44:45 GMT
Reply-To: abc@cs.nott.ac.uk (Andy Cheese)
Organization: Computer Science, Nottingham Univ., UK.
Lines: 18


My own intuition, having a maths degree, is that integers are real numbers,
it's just that you can represent integers in a machine in general. But on
the otherhand i would like to see built-in predicates keep their "usual"
(QP, SICStus, etc) meanings.
---------------------------------------------------------------------

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