sub_atom(Atom, Before, Length, After, Sub_atom) is true if and only if Sub_atom is a subatom of Atom, of lenght Length and with Before characters before and After characters after it. It is re-executable.