Presented a challenge and a set of premises, trouble-fixing cuts down to searching for any evidence tree whose root node is labelled by an answer of the condition and whose leaf nodes are labelled by premises or axioms. In the case of Horn clauses, issue-solving search can be carried out by reasoning forwards with the premises or backwards from the