Offered a problem in addition to a set of premises, difficulty-resolving lessens to searching for a evidence tree whose root node is labelled by a solution of the situation and whose leaf nodes are labelled by premises or axioms. In the case of Horn clauses, difficulty-fixing search is usually executed https://www.allbiz.com/business/ventura-it-805-644-9981