Prolog未定义的程序(DWIM无法达到目标)

时间:2017-11-19 19:37:16

标签: prolog transitive-closure

我在尝试此代码时总是得到上面提到的错误

reicher(adam,berta).
reicher(berta,clemens).
reicher(adam,erwin).
reicher(eva,adam).

% adam > berta & erwin & clemens
% berta > clemens
& eva > all

reicher_als (X, Y):- reicher(X,Y).
reicher_als (X, Y):- reicher(X,Z),reicher_als(Z,Y).

例如我问prolog ?- reicher_als(eva,clemens)它给了我错误。

0 个答案:

没有答案