kprolog K-Prolog Compiler Version 6.0

Record機能

Record機能は、 他のデータベース機能よりも assert に近い形の 内部データベース機能として、 recorda/3、recordz/3 や instance/2などを 実現しています。

実装法としては、モジュール $record に 

   Key:- $record(Term)
の形の節として記録することによりこの機能を実現しています。
データベース参照は K-Prolog の "アドレス項" として保持されますが、 このデータベース参照からデータベースの実体の内容をダイレクトに取り出すことが できます。

一つ上に戻る 目次に戻る