摘要：
练习题3.1 在之前的章节中，我们已经讨论了如下的谓词逻辑： descend(X, Y) :- child(X, Y). descend(X, Y) :- child(X, Z), descend(Z, Y).假设我们将谓词逻辑重构如下: descend(X, Y) :- child(X, Y). ... 阅读全文
posted @ 2015-07-08 16:35
seaman.kingfall
阅读(1476)
评论(0)
推荐(0)
浙公网安备 33010602011771号