Rövid szöveges bemutatás:
A hátrafelé láncolás egy következtetési eljárás. Az eljárás a bizonyítandó állításból indul ki, és megpróbál eljutni a tudásbázis ismert tényeihez. Minden állításnak vannak bizonyos elő követelményei és következményei. A következmény maga az állítás igazzá válása és további extra állítások esetleg. A hátrafelé láncolás az elő követelményeken keresztül halad visszafelé. Így ha olyan elő követelményt talál, mely nem szerepel a tudásbázisban akkor megkeresi annak is az elő követelményeit, és így tovább, amíg el nem jut már ismert tényekhez.