prolog-metainterpreter