Did you know ... Search Documentation:
Predicate atomic/1
Availability:built-in
[ISO]atomic(@Term)
True if Term is bound (i.e., not a variable) and is not compound. Thus, atomic acts as if defined by: 
atomic(Term) :-
        nonvar(Term),
        \+ compound(Term).

SWI-Prolog defines the following atomic datatypes: atom (atom/1), string (string/1), integer (integer/1), floating point number (float/1), rational (rational/1) and blob (blob/2). In addition, the symbol [] (empty list) is atomic, but not an atom. See section 5.1.

Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
LogicalCaptain said (2020-07-11T13:18:36):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

The complement of atomic/1 is compound/1. Any term is either the one or the other (at least in the current implementation).

In particular, dicts are compound!

The description concerning typing as given above is confusing. The only atomic data types are:

  • blob, which includes atoms and []
  • string
  • number, which includes integers, floats and non-integer rationals

See the tree at the bottom of typetest