backward chaining

method of forming inferences