Succeeds if Atom describes a term that unifies with Term . When Atom is instantiated Atom is converted and then unified with Term . Bindings is a list of 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, intergers 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.