Пролог Неопределенная процедура (DWIM не может достичь цели)
Я всегда получаю ошибку, упомянутую выше, когда я пытаюсь этот код
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).
Например я прошу пролог ?- reicher_als(eva,clemens) это дает мне ошибку.