From moeller@ebi.ac.uk  Fri Aug 27 16:02:45 1999
Received: from uvapsy.psy.uva.nl (uvapsy.psy.uva.nl [145.18.113.18])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id QAA06653
	for <prolog@swi.psy.uva.nl>; Fri, 27 Aug 1999 16:02:45 +0200 (MET DST)
Received: from alpha1.ebi.ac.uk (root@alpha1.ebi.ac.uk [193.62.196.122])
	by uvapsy.psy.uva.nl (8.9.1a/8.9.1) with ESMTP id PAA17897
	for <prolog@swi.psy.uva.nl>; Fri, 27 Aug 1999 15:50:09 +0200 (MET DST)
Received: from protein.ebi.ac.uk (moeller@protein.ebi.ac.uk [193.62.196.95])
	by alpha1.ebi.ac.uk (8.8.7/8.8.7) with ESMTP id PAA03439
	for <prolog@swi.psy.uva.nl>; Fri, 27 Aug 1999 15:00:55 +0100 (BST)
Date: Fri, 27 Aug 1999 15:00:55 +0100 (GMT)
From: Steffen Moeller <moeller@ebi.ac.uk>
To: SWI Prolog Mailing list <prolog@swi.psy.uva.nl>
Subject: should float(10) succeed or fail?
Message-ID: <Pine.LNX.4.10.9908271453540.11349-100000@protein.ebi.ac.uk>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


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    




    Steffen Moeller <moeller@ebi.ac.uk>    ICQ 37032340

