| 黒板からあるキーで格納された項を得る。
bb_get(+ボード名, ?キー, ?項)
黒板は、(キー,値)の要素からなる集合である。
bb_get/3は、黒板の要素を検査する。
-
もし、キーが基底項ならば、関連した値 エントリーを検索するために、ハッシングが使われる。もし、黒板のなかに要素(キー,値)があれば、
値 は項で単一化される。さもなければ、失敗する.
- もし、キーが基底項でなければ、バックトラックによって、
黒板の全ての要素(キー,値)が検索され、項 (キー,値)で
単一化される。
引数
ボード 黒板
キー 基底項
項 項
例
要素 (100, abc), (101, element101), (102, abc)を持つ黒板 'blackboard'があるとする。
| bb_get(blackboard,102, abc).
| 成功.
| | bb_get(blackboard, 100, X).
| X <- abc の代入で、成功。
| | bb_get(blackboard, Key, abc).
| 代入で、2度成功。
Key <- 100
Key <- 102
| | bb_get(blackboard, Key, Term).
| 代入で、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.
|
