このシナリオがあるとしましょう：
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.
昇順で使用される述語と昇順を使用する述語を知るにはどうすればよいですか? このタスクに役立つ組み込み関数またはメタ述語はありますか?