摘要：
练习题3.1 在之前的章节中，我们已经讨论了如下的谓词逻辑： descend(X, Y) :- child(X, Y). descend(X, Y) :- child(X, Z), descend(Z, Y).假设我们将谓词逻辑重构如下: descend(X, Y) :- child(X, Y). ... 阅读全文
|
摘要：
练习题3.1 在之前的章节中，我们已经讨论了如下的谓词逻辑： descend(X, Y) :- child(X, Y). descend(X, Y) :- child(X, Z), descend(Z, Y).假设我们将谓词逻辑重构如下: descend(X, Y) :- child(X, Y). ... 阅读全文
|