Exercise Prolog Interpreter