algorithm - バックチェーンアルゴリズムに求められる参照

Question

バックチェーンによる推論のアルゴリズムの正確な説明を探しています。検索するたびに、アルゴリズムの正式な説明がなく、ラッセルとノーヴィグから持ち上げられた標準的な例が見つかります。