データベースのなかの、述語の存在を確認します。
current_predicate/1 は、指定の述語のデータベース内の存在を確認します。
述語 複合項 (アトム/整数)
以下のユーザ定義述語をもつデータベースがあるとする。
colour(red). colour(white). colour(red,green,blue).
| current_predicate(colour/1). | 成功します。 |
| current_predicate(add/2). | 失敗. |
この述語は、ISO-Prolog 標準に含まれる。
標準に反して、引数には変数が許されません。
| 冒頭へ |
|