予約語
以下のような、＆で始まる語は予約語であり、特別な意味を持ちます。
- &program
- プログラム の開始を示します。
- &end
- プログラム の終りを示します。
- &enviroment
- 環境定義 の開始を示します。
- &subsumption
- 基礎オブジェクト項間関係定義
の開始を示します。
- &module
- モジュール間関係定義 の開始を示します。
- &rule
- ルール定義 の開始を示します。
- &name, &pgm_name
- 環境定義 における、
プログラム名の記述に用いられます。
- &author, &aut_name
- 環境定義 における、
作者名の記述に用いられます。
- &date
- 環境定義 における、
日にちの記述に用いられます。
- &o, &l, &ol, &lo
- 「ルールラベル」と呼ばれ、 ルール に付加し、
ルール継承の例外継承で用います。
- &begin_transaction、&end_transaction、&abort_transaction
- これらをルールの
ボディ
の中に用いて、入れ子トランザクションの制御ができます。
- &consis、&inconsis
- これらをルールの
ボディ
の中に用いて、インテグリティチェックができます。
- &q_mode
- 質問モードの指定 で用います。
- &proc_mode、&single、&multi
- 質問モードの指定 で用います。
- &inheritance、&all、&down、&up、&no
- 質問モードの指定 の
継承の指定で用います。
- &merge、&yes、&no
- 質問モードの指定 の
マージの指定で用います。
- &explanation、&on、&off
- 質問モードの指定 の
説明の指定で用います。