Prolog祖父母关系

时间:2021-04-08 11:34:58

标签: prolog

%Family tree program
% Define facts

parent(mohamed,amer).
parent(mohamed,salah).
parent(amer,hassan).
parent(amer,mohamed).
parent(salah,ahmed).
parent(salah,mostafa).

male(mohamed).
male(amer).
male(hassan).
male(mohamed).
male(salah).
male(ahmed).
male(mosatfa).

% Define rules

offspring(Y,X):-
    parent(X,Y).

brother(Y,D):-
    parent(Z,Y):-
    parent(Z,D).

grandparent(X,Z):-
    parent(X,Y):-
    parent(Y,Z).

uncle(C,Y):-parent(Z,Y):-brother(Z,C).

当我在 swi-pl 中跑步时:祖父母(Y,hassan)。 我认为正确的答案是穆罕默德,但输出是错误“错误:未知程序:祖父母/2(DWIM 无法纠正目标)”

0 个答案:

没有答案