Prolog提供错误未定义的过程

时间:2013-04-11 06:57:38

标签: prolog

我是Prolog的新手,但我无法从文件中运行任何程序。 我在/ opt / local / bin中有mac os x mountain lion和swipl。 脚本名称是'prolog',它与swipl在同一目录中。

muz(petr).
muz(pavel).
muz(jan).

zena(petra).
zena(pavla).
zena(martina).

potomek(pavel, petr).
potomek(jan, pavel).
potomek(petra, jan).

vzdaleny_potomek(A,B):=potomek(A,B).
vzadelny_potomek(A,B):=vzdaleny_potomek(B,C).

在终端中,我首先运行swipl然后输入consult(prolog),它编译好了,但是当我想运行例如vzdaleny_potomek(petr, pavel)时,它会给我错误

错误:toplevel:未定义的程序:vzdaleny_potomek / 2(DWIM无法纠正目标)

1 个答案:

答案 0 :(得分:4)

你的谓词定义是错误的。这个::=应该是这样的::-