:-[readFile, parseProblem, parseDomain, common].
:-['wa-star', forward, h_0].