added json to prolog method in Interpreter