Succeeds if Atom describes a term that unifies with Term . When Atom is instantiated Atom is converted and then unified with Term . Var couples, thus providing access to the actual variable names. Atom3 forms the concatenation of Atom1 and Atom2 . At least two of the arguments must be instantiated to atoms, integers or floating point numbers.
List is a list of atoms, integers or floating point numbers.
Succeeds if Atom can be unified with the concatenated elements of List . Succeeds if Atom is an atom of Length characters long. ISO predicate for breaking atoms. After characters after the match. The implementation minimalises non-determinism and creation of atoms.