First-order language Interpreter