From jan@swi.psy.uva.nl  Mon Sep 13 15:45:07 1999
Received: from gollem.swi.psy.uva.nl (jan@gollem [145.18.114.15])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id PAA03298
	for <prolog@swi.psy.uva.nl>; Mon, 13 Sep 1999 15:45:07 +0200 (MET DST)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.8.8/8.8.8) id PAA01703;
	Mon, 13 Sep 1999 15:45:50 +0200
From: Jan Wielemaker <jan@swi.psy.uva.nl>
To: prolog@swi.psy.uva.nl, Steffen Moeller <moeller@ebi.ac.uk>
Subject: Re: should float(10) succeed or fail?
Date: Mon, 13 Sep 1999 15:44:24 +0200
X-Mailer: KMail [version 0.7.9]
Content-Type: text/plain
References: <Pine.LNX.4.10.9908271453540.11349-100000@protein.ebi.ac.uk>
MIME-Version: 1.0
Message-Id: <99091315453510.00286@gollem>
Content-Transfer-Encoding: 8bit

On Fri, 27 Aug 1999, Steffen Moeller wrote:
>Hi,
>
>the behaviour or float/1 is mathematical nonsense IMHO.
>Unless some ISO standard defines it this way I'd suggest
>to reimplement it to something that behaves like
>mathematical_float(X) :- float(X),!;integer(X).
>
>Other opinions?
>
>Many greetings
>
>Steffen
>
>With 3.2.9:
>
>1 ?- float(10).
>
>No
>2 ?- float(10.0).
>
>Yes    

As far as I know, it is how the standard defines it.  To test
for a number, use the Prolog predicate number/1:

?- number(1).
?- number(1.0).

both succeed.

	--- Jan

