[ Type Testing | Reference Manual | Alphabetic Index ]

# atom(?Atom)

Succeeds if Atom is a Prolog atom.

Atom
  Prolog term.

## Description

Used to test whether Atom is an atom. Note that this includes the empty list [].

### Modes and Determinism

- atom(?) is semidet

### Fail Conditions

Fails if Atom is not an atom

## Examples

    Success:
            atom(atom).
            atom('Anything').
            atom(*).
            atom([]).
            atom(#).
            atom($).
            atom(/).
            atom(\).

    Fail:
            atom(1).
            atom(this(is,a,structure)).
            atom(X).

## See Also

var / 1, is_list / 1, is_array / 1, callable / 1, type_of / 2