| キーが、その黒板に属するかどうかを検査する。
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.
|
