Something went wrong in formatting:
atom_t ATOM_nil(A) tomic constant that represents...
atom_t ATOM_nil Atomic constant that represents...
There is also some problem with saying that ATOM_dot is the "list constructor" as "dot" is now the SWI-Prolog dict dereferencing operation, and the list constructor is `[|]` (sic).
"The returned handle is valid as long as the atom is referenced..." should be "The returned handle is valid as long as the atom's reference count is > 0". After call, the reference count is 1.
From PL_register_atom: "Increment the reference count of the atom by one. PL_new_atom performs this automatically, returning an atom with a reference count of at least one."