找到所有謂詞具有相同元數

是否有可能造成這樣的查詢作爲找到所有謂詞具有相同元數

?- X(C).

，可以返回所有具有1元數的謂詞？一般來說，是否可以通過使用變量來引用謂詞名稱？

2013-02-07 Roberta G

current_predicate(X/1).顯示了元數1

您可以使用call來調用變量的目標謂詞。

2013-02-07 19:38:14

正如指出[這裏]（http://stackoverflow.com/questions/14494146/search-for-a-atom-in-prolog），'current_predicate'是SWI特定的。有更通用的方法嗎？ –

在鏈接問題中，用戶false表示'current_functor/2'是SWI特定的，而不是'current_predicate/1'。我認爲'current_predicate/1'在ISO中。我檢查了5個已安裝的Prolog系統，並且它們都具有'current_predicate/1'。 –

非常感謝回覆 –

回答