人工智能确定性推理

- 需要掌握的问题 - 应用归结原理求解下列问题： 任何兄弟都有同一个父亲，John和Peter是兄弟，且John的父亲是David，问Peter的父亲是谁？