:-[readFile, parseProblem, parseDomain, common].
:-[dfs, backward, h_maxb].