It also demonstrates the use of a heuristic best-first search of the program decomposition space to parse a Prolog program into a hierarchical structure of predicate definitions, clauses, subgoals, ...