これまでのところ、実際にはプログラミングを行っておらず、オブジェクトとそのプロパティを定義するだけです。プロローグでプログラミングするための最初のステップは、ルールの使用です。ルールでは、他の述語が真であるという条件で、述語が真であると述べています。ルールは次のようになります：a：-b、c、d。

また、Prologのドメイン述語と節は何ですか？プログラムの述語セクションには、各述語がリストされ、引数のタイプ（ドメイン）が表示されます。節のセクションはプログラムの中心ですが、Visual Prologは、ファクトとルールが参照するオブジェクト（引数）のタイプも宣言するという事実から、その効率の多くを取得します。

同様に、述語をどのように定義しますか？

文の述語は、何らかの方法で主語を変更する部分です。主語は文の対象となる人、場所、または物であるため、述語には主語の機能を説明する動詞が含まれている必要があり、修飾子を含めることもできます。

+はPrologでどういう意味ですか？

[ISO] + ：目標。 「目標」を証明できない場合は真（ニーモニック：+は証明可能を指し、バックスラッシュ（）は通常Prologで否定を示すために使用されます）。