root/tags/lgt2310/library/float.lgt

Revision 3687, 228 bytes (checked in by pmoura, 21 months ago)

Code reformating.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
Line 
1
2:- object(float,
3    extends(number)).
4
5    :- info([
6        version is 1.0,
7        author is 'Paulo Moura',
8        date is 2000/7/24,
9        comment is 'Floating point numbers data type predicates.']).
10
11    valid(Float) :-
12        float(Float).
13
14:- end_object.
Note: See TracBrowser for help on using the browser.