backchain

/B AE1 K CH EY1 N/
verb
  1. 1

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