def parse(self, s): from pypy.lang.prolog.interpreter.parsing import parse_file, TermBuilder, lexer builder = TermBuilder() trees = parse_file(s, self.parser) terms = builder.build_many(trees) return terms, builder.varname_to_var