キーが、その黒板に属するかどうかを検査する。
黒板は、(キー,値)の要素からなる集合である。 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標準には含まれない。
| 冒頭へ |
|