BAP Online Manuals : Library Reference : Library by Name : atom
Previous: assertz
Next: beep

6.2.11. atom

tests whether the type of the argument is atom

SYNOPSIS

atom(Term)

SYNTAX

 atom(Term) (i)

ARGUMENTS

void(Term) (i) Term to be tested.

DESCRIPTION

This is a standard prolog built-in. Atom() succeeds if its argument is unbound or currently bound to an atom.

NOTE: This implementation differs to that of Clocksin/Mellish for their atom() predicate would fail if the Term is unbound. To get the usual behaviour, you have to use a bound (Term),atom(Term) combination!

EXAMPLE

read(X),
( atom(X), write("Atom"),nl ;
  integer(X), write("Integer"),nl
).

ERRORS

No runtime errors.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

integer , string ,

char


BAP Online Manuals : Library Reference : Library by Name : atom
Previous: assertz
Next: beep