後向き連鎖
このルールベースが検索されると、帰結部(THEN節)がゴール(フリッツは蛙である)とマッチしている規則(2)が選択される。フリッツが緑色かどうかは不明なので、条件部(IF節)はゴールのリストに追加される(フリッツが蛙であるためには、緑色でなければならない)。ルールベースは再び検索されて、THEN節がリストに追加された新しいゴール(フリッツは緑色である)とマッチする規則(1)が選択される。その規則の条件部(フリッツは弾む)が真であることは予め分かっているので、フリッツは蛙であると結論付けられる(フリッツは弾むので緑色であるに違いない、フリッツが緑色なので蛙に違いない)。
ゴールのリストが、どの規則が選ばれて使われるかを決定するので、この方法はゴール駆動型と呼ばれる。一方、前向き連鎖による推論はデータ駆動型と呼ばれる。このようなアプローチは、しばしばエキスパートシステムで使用される。
プログラミング言語Prologは後向き連鎖をサポートしている。