verb
(computing, artificial intelligence) To perform inferences, starting with a list of goals (or a hypothesis) and working backwards from the consequent to the antecedent.