Simple Prolog Interpreter