prolog - 查找具有相同数量的所有谓词

Question

是否可以提出查询，例如

?- X(C). 

可以返回所有具有 arity 1 的谓词？一般来说，是否可以通过使用变量来引用谓词名称？

Answer 1

current_predicate(X/1).显示元数为 1 的谓词。

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