Drawbacks ofChronological Backtracking
Chronological Backtracking:
re-discovers contradictions,
throws away useful results,
its efficiency depends on the order of exploring alternatives, not on their logical relationships.
In TMSs these drawbacks are overcome by exploiting dependencies, i.e. by maintaining records of the dependence of each inference on earlier ones.