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