atom/1

Module: builtins

atom/1 — the term is an atom
atomic/1 — the term is an atom or a number
float/1 — the term is a floating point number
integer/1 — the term is an integer
number/1 — the term is an integer or a floating point

FORMS

atom(Term)

atomic(Term)

float(Term)

integer(Term)

number(Term)

DESCRIPTION

Each of these predicates will succeed when its argument is of the proper type, and fail otherwise. integer/1 and float/1 examine the only the representation of a number. For instance, the call integer(2) will succeed because 2 is represented internally as an integer. In addition, float(4294967296) will succeed because 4294967296 is represented by a floating point value since it is outside the range of the integer representation.

EXAMPLES

The following are examples of the use of the type predicates :

?- atom(bomb).
yes.
?- integer(2001).
yes.
?- float(cement).
no.

SEE ALSO