Convert Int to an ascii representation using base Base and unify the result with Atom . If the base will be prepended to Atom . Some examples are given below. 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.