An approach to reasoning in which an inference engine endeavors to find a value for an overall goal by recursively finding values for subgoals. At any point in the recursion, the effort of finding a value for the immediate goal involves examining rule conclusions to identify those rules that could possibly establish a value for that goal. An unknown variable in the premise of one of these candidate rules becomes a new subgoal for recursion purposes.