练习题3.1
在之前的章节中，我们已经讨论了如下的谓词逻辑：
descend(X, Y) :- child(X, Y). descend(
阅读背景：
Learn Prolog Now 翻译 - 第三章 - 递归 - 第三节，练习题和答案
来源：互联网
分享到：
