Prolog Interpreter.