構文の索引

• アトム
  • ATOM
  • SET_ATOM
• 変数
  • 単一値変数
  • 集合変数
• ラベル
  • 単一値ラベル
  • 集合値ラベル
• ドット項
  • 単一値ドット項
  • 集合値ドット項
• オブジェクト項
  • 基礎オブジェクト項
  • 複合オブジェクト項
  • 固有属性
• 単一項
• 集合項
• 属性項
  • 付帯属性
  • 属性項制約
  • 集合
• モジュールラベル
• ボディ
  • クラスタ
  • 命題
  • トランザクション
  • インテグリティ
• ルール
  • ファクト
  • ルールラベル
• プログラム
  • 環境定義
  • 基礎オブジェクト項間関係定義
  • モジュール間関係定義
  • ルール定義
• 質問
  • 質問モード指定
• 予約語

Quixote の構文