基本信息

---

下载

文档摘要

---

可以看出，歸結到這一步，求證的目標謂詞已被消去，即求證已成功，但還留下了謂詞ANS(Wang)。由於該謂詞中原先的變元與目標謂詞T(u,Zhang)中的一致，所以，其中的Wang也就是變元u的值。這樣，我們就求得了小張的老師也是王老師。上例雖然是一個很簡單的問題，但它給了我們一個利用歸結原理求取問題答案的方法，那就是：先為待求解的問題找一個合適的求證目標謂詞；再給增配（以析取形式）一個輔助謂詞，且該輔助謂詞中的變元必須與對應目標謂詞中的變元完全一致；然後進行歸結，當某一步的歸結式剛好只剩下輔助謂詞時，輔助謂詞中原變元位置上的項（一般是常量）就