// This is the constructor used from runFromShell public PrologBackend(String[] args) throws Exception { // This parses the args and the ABS program producing the AST whose root is model model = parse(args); if (model.hasParserErrors() || model.hasErrors() || model.hasTypeErrors()) printParserErrorAndExit(); initOutStreamEtc(); }