我是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无法纠正目标)
答案 0 :(得分:4)
你的谓词定义是错误的。这个::=
应该是这样的::-
。