1

假设我有这种情况：

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

brother(X,Y):-parent(Z,X),parent(Z,Y), X \= Y .
uncle(X,Y):-brother(X,Z),parent(Z,Y),X \= Y.

我怎样才能知道上升使用的谓词和使用上升的谓词？是否有任何内置函数或元谓词对此任务有用？

4

0 回答 0