|
|
|||||||||
項が、その黒板に属するかどうかを検査する。
bb_contains(+ボード, ?項)
黒板は、(キー,値)の要素からなる集合である。 bb_contains/2 は、黒板の値部分を検索する。
もし、項が自由変数でなければ、黒板 ボードが、値として項を含んでいれば、少なくとも一度は成功する。
もし、 項が自由変数ならば、バックトラックによって、bb_contains/2は、 黒板 ボードの要素である、すべての項を不特定の順番でリストする。
引数
ボード 黒板 項 項
例
要素 (100, abc), (101, element101), (102, abc).を持った黒板 'blackboard' があると仮定する。
| bb_contains(blackboard,abc). | 成功. |
| bb_contains(blackboard, X). | 代入で、3度成功。
X <- abc X <- element101 X <- abc |
標準
この述語は、ISO-Prolog標準に含まれない。
関連
bb_clear/1, bb_clear_2/2, bb_create/1, bb_contains/2, bb_contains_key/2, bb_get/3, bb_get_4/4, bb_put/3, bb_put_4/4, bb_remove/2. bb_keys/2. bb_elements/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/blackboard/bb_contains/print_jp.html published 2012/5/21 update 2001/2/7 (c) 1996-2009 IF Computer Japan | ||||||||
|
