prolog谓词依赖树

Question

让我们说我有这种情况：

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.

我如何知道ascendent使用的谓词和使用ascendent的谓词？ 是否有任何内置函数或元谓词对此任务有用？