Subject: should float(10) succeed or fail?

From: Steffen Moeller <[email-masked]>
Date: Fri, 27 Aug 1999 15:00:55 +0100 (GMT)

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 <[email-masked]>    ICQ 37032340