イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 黒板 > bb_contains_key/2

bb_contains_key/2

MINERVA
ifcomputer logo
f
Expert Services on the Web

キーが、その黒板に属するかどうかを検査する。

bb_contains_key(+ボード, ?キー)

黒板は、(キー,)の要素からなる集合である。 bb_contains_key/2 は、黒板のKey部分を検索する。

もし、キーが自由変数でなければ、黒板 ボードが、キーキーを含んでいれば、bb_contains_key/2は成功する。
もし、キーが自由変数ならば、バックトラックによって、bb_contains_key/2 は、黒板 ボードの要素である、すべてのキーをリストする。

引数

ボード                  黒板
キー                    基底項

要素(100, abc), (101, element101), (102, abc)を持った黒板 'blackboard' があるとする。

bb_contains_key(blackboard, 100). 成功.
bb_contains_key(blackboard, X). 代入で、3度成功。
X <- 100
X <- 101
X <- 102

標準

この述語は、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_key/print_jp.html
published 2008/11/17 update 2001/2/7 (c) 1996-2006 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
戻る> managed with ubiCMS