Succeeds if Prefix is a prefix of String using the
Table, and Rest is unified with the remainder of
String that is not matched. Please note that the existence of
an order-table implies simple contatenation using atom_concat/3
cannot be used to determine the non-matched part of the string.