Algoritem vzvratnega veriženja je oblika razmišljanja, ki se začne s ciljem in deluje nazaj, tako da veriži pravila, da bi našli znana dejstva, ki podpirajo cilj. Vzvratno veriženje je znano tudi kot metoda sklepanja nazaj, kadar se uporablja mehanizem sklepanja.