ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
後方推論; 後向き推論
推論方法の一つ.結論が与えられてから,それが成立するための条件と推論規則を探していく.
backward reasoning