gprolog 的新手 - 我怎样才能让这个简短的程序得出正确的结论？

Question

我有以下 gprolog 程序：

father(charles, harry). 
daughter(elizabeth, george).
son(william, charles). 
father(X, Y) :- son(Y, X).
father(X, Y) :- daughter(Y, X).
daughter(X, Y) :- \+son(X, Y), father(Y, X).
son(X, Y) :- \+daughter(X, Y), father(Y, X).

鉴于我所拥有的，我尝试了这个查询：

| ?- son(harry, charles).

...并得到了no（又名，据我了解，“Prolog 无法证明这一点。”）。当我对其进行跟踪时，它似乎并没有太大帮助：

{trace}
| ?- son(harry, charles).
      1    1  Call: son(harry,charles) ? 
      1    1  Fail: son(harry,charles) ? 

由于son(harry, charles) 应该与我的代码的最后一行匹配，我认为程序只需从检查第一部分开始：\+daughter(X, Y)（“Prolog 无法证明 Harry 是 Charles 的女儿”，正确的？）。确实：

| ?- \+daughter(harry, charles).
      1    1  Call: \+daughter(harry,charles) ? 
      2    2  Call: daughter(harry,charles) ? 
      2    2  Fail: daughter(harry,charles) ? 
      1    1  Exit: \+daughter(harry,charles) ? 

(1 ms) yes

那么它会进入第二部分，对吗？它将检查father(Y, X)，即father(charles, harry)，这是作为事实给出的！

| ?- father(charles, harry).
      1    1  Call: father(charles,harry) ? 
      1    1  Exit: father(charles,harry) ? 

(1 ms) yes

既然这两个都是真的，为什么不给yes 一个son(harry, charles)？作为一个重要的说明，这确实与不连续的谓词警告一起编译：

compiling /Users/nicolejulian/Dropbox/AI/test.pl for byte code...
/Users/nicolejulian/Dropbox/AI/test.pl:4: warning: discontiguous predicate father/2 - clause ignored
/Users/nicolejulian/Dropbox/AI/test.pl:5: warning: discontiguous predicate father/2 - clause ignored
/Users/nicolejulian/Dropbox/AI/test.pl:6: warning: discontiguous predicate daughter/2 - clause ignored
/Users/nicolejulian/Dropbox/AI/test.pl:7: warning: discontiguous predicate son/2 - clause ignored
/Users/nicolejulian/Dropbox/AI/test.pl compiled, 8 lines read - 617 bytes written, 11 ms

(1 ms) yes

早期的一些实验让我看起来基本上可以在警告和无限循环之间做出选择，所以我照原样接受了这个。 （例如，对所有左侧标签进行分组会删除警告，但会导致查询 | ?- father(elizabeth, george). 崩溃）。

无论如何，如果我不能只是“作弊”并添加son(harry, charles) 作为事实，那么我对 Prolog 的执行步骤有什么不了解的地方？

Answer 1

您显示的警告中的关键短语是clause ignored。所以你的父子逻辑，过去father(charles, harry) 的一切都被忽略了。尝试使它们连续：

father(charles, harry). 
father(X, Y) :- son(Y, X).
father(X, Y) :- daughter(Y, X).

daughter(elizabeth, george).
daughter(X, Y) :- \+son(X, Y), father(Y, X).

son(william, charles). 
son(X, Y) :- \+daughter(X, Y), father(Y, X).

然后您将得到 true 作为您查询的答案。

但是，如果您在 true 之后键入 a（要求所有解决方案），则逻辑中存在进一步的问题。它没有优雅地结束，而是进入循环并溢出堆栈。这是由于父亲、儿子和女儿之间的循环逻辑。所以你可能想仔细考虑这部分。

要绕过循环逻辑，请考虑this tutorial 中给出的示例。这个案例对person 使用断言事实（给出姓名、性别和每个父母，然后使用谓词来建立这些关系和其他关系，通过登陆事实来避免循环，而不是无限循环回到其他谓词。可能有其他类似的方法，但这只是一个例子。