prolog - 同じアリティを持つすべての述語を見つける

Question

のようなクエリを提示することは可能ですか?

?- X(C). 

アリティ 1 を持つすべての述語を返すことができますか? 一般に、変数を使用して述語名を参照することは可能ですか?

Answer 1

current_predicate(X/1).アリティ 1 の述語を示します。

call変数からゴールを呼び出すために使用できます。