prolog - 关于 Sublime 构建错误的 SWI-Prolog 插件

Question

我知道这是一个有点愚蠢的问题，但我现在真的很绝望，因为我找不到构建它的方法。我总是得到这个错误

ERROR: call/2: Undefined procedure: main/1
ERROR:   However, there are definitions for:
ERROR:         main/0

虽然我试过了

father(ahmad,samer).
father(ahmad,lolo).
father(ahmad,koko).


grandfather(X,Y):-
    father(U,X),
    father(Y,U).

main :- father(ahmad, X), writef('%t\n', [X]).

那么有人可以帮助我以正确的方式做到这一点吗？

Answer 1

对我来说效果很好。

只需输入main.不要忘记.，否则无法运行。这是我得到的

2 ?- main.
samer
true ;
lolo
true ;
koko
true.

在 true 之后键入 ; 如果您想显示所有三个名称，而不是按 Enter 按钮。如果您按 Enter，只会显示名字。

从你的代码中我发现 ahmad 是父亲，所以关于 grandfather 查询，我想我必须这样:

granfather(X,Y):- father(X,U),father(U,Y).

因为在你的 father 查询中 father 在左边