Syntax

In Quixote, a database or a program and a query are defined as follows.

[Program]

						&program;;
						   …
						   …
						&end.

Between &program;; and &end. , the followings are written.

• Definitions of Enviroment
  プログラムの作者名などが書けます。
• Definitions of Subsumption Relations
  ここに書かれた関係を元に、 属性継承 と 制約解消 が行なわれます。
• Definitions of Submodule Relations
  ここに書かれた関係を元に、 ルール継承 が起きます。
• Definitions of Rules
  ここにルールを書きます。

ここで、 Quixote プログラムとして、 サイダー を紹介しましょう。

[Query]

• ?- Body ;; Query Mode .

サイダー を用いて、 質問の例 も ここで少し紹介します。

Index of Quixote Syntax