The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model