atom
BAP Online Manuals : Library
Reference : Library by Name
: atom
Previous: assertz
Next: beep
BAP Online Manuals : Library Reference : Library by Name : atom
Previous: assertz
Next: beep
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
BAP Online Manuals : Library Reference : Library by Name : atom
Previous: assertz
Next: beep