|
|
|||||||||
データベースのなかの、述語の存在を確認します。
current_predicate(+述語)
current_predicate/1 は、指定の述語のデータベース内の存在を確認します。
引数
述語 複合項 (アトム/整数)
例
以下のユーザ定義述語をもつデータベースがあるとする。
colour(red). colour(white). colour(red,green,blue).
| current_predicate(colour/1). | 成功します。 |
| current_predicate(add/2). | 失敗. |
標準
この述語は、ISO-Prolog 標準に含まれる。
標準に反して、引数には変数が許されません。
関連
clause/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_retrieve/current_predicate/print_jp.html published 2008/12/1 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
