current_predicate/1

データベースのなかの、述語の存在を確認します。

current_predicate(+述語)

current_predicate/1 は、指定の述語のデータベース内の存在を確認します。

引数

述語              複合項 (アトム/整数)

例

以下のユーザ定義述語をもつデータベースがあるとする。

colour(red).
colour(white).
colour(red,green,blue).

標準

この述語は、ISO-Prolog 標準に含まれる。

関連