查找具有相同arity的所有谓词

Question

是否可以提出诸如

之类的查询

?- X(C). 

可以返回所有具有arity 1的谓词吗？通常，是否可以通过使用变量？

来引用谓词名称

Answer 1

current_predicate(X/1).显示带有arity 1的谓词。

您可以使用call从变量调用目标。