Next: 5.2 データベースへの登録
Up: 5 Prolog処理系の実現
Previous: 5 Prolog処理系の実現
データベースは，ホーン節の集合です．ゴールの問い合わせに対して，同じパ
ターンのゴールをもつホーン節を効率良く選ぶためには，ゴールの述語シンボ
ルにより節集合を分類しておくことが有効である．
このようにデータベースを分
類して構成しておくことはIndexingと呼ばれる．
ゴールの述語ごとに節を分類して保存するために利用できる方法としては，
（１）述語シンボルの属性リストにすべての節を登録し，データベース全体を
述語シンボルのリストで表現する方法，（２）キーを述語シンボルとして対応
値を節集合にするハッシュ表を用いる方法，などが考えられる．
これまでに何度も紹介してきたように，このような内部表現のデータ構造に依
存しないようにアクセス関数を実現することが重要なプログラミング法である．
以下では，ハッシュ表を用いた例を示しておく．
(defun clause-head (clause) (first clause))
(defun clause-body (clause) (rest clause))
(defun get-clauses (pred)
(gethash pred *prolog-database*))
(defun predicate (relation) (first relation))
(defvar *prolog-database* (make-hash-table))
(defun init-prolog ()
(clrhash *prolog-database*))
(defun add-clause (clause)
(let ((pred (predicate (clause-head clause))))
(setf (gethash pred *prolog-database*)
(nconc (get-clauses pred) (list clause)))
pred))
add-clauseの中で注意するところとして，nconcを使っているところである．
appendを使うとリスト構造がコピーされて無駄が多いのですが，nconcではそ
の無駄がなくなる．nconcは副作用として破壊的な操作を行なってしまう
が，ここでは，(list clause)をnconcしているため，新たなコンスを
nconcしていることになり他のデータを破壊する心配はない．
generated through LaTeX2HTML. M.Inaba 平成18年5月7日