The Mixtus Approach to Automatic Partial Evaluation of Full Prolog