論理プログラミングを実証するPrologで書かれたプログラムの基本的な例を教えてください。
これは、論理プログラミングを実証するPrologで書かれたプログラムの基本的な例です。

`` `prolog
/ * facts */
親（ボブ、アリス）。
親（ボブ、ジョン）。
親（ジェーン、アリス）。
親（ジェーン、ジョン）。

/ *ルール */
兄弟（x、y）： - 親（z、x）、親（z、y）、x \ = y。

/ * query */
？ - 兄弟（アリス、ジョン）。
`` `

この例では、個人間の親子関係を指定する事実を使用して家系図を定義します。次に、2人の個人が共通の親を共有する場合に真実である「兄弟」と呼ばれるルールを定義します。最後に、「アリス」と「ジョン」が兄弟であるかどうかを照会します。これは、同じ親「ボブ」と「ジェーン」を共有するときに「真の」を返すべきです。

このプログラムは、論理ルールの観点から個人間の関係を定義しているため、論理プログラミングを実証しており、これらのルールに基づいて新しい関係を推測するプログラムを照会できます。言い換えれば、私たちは論理的な声明の観点から世界の知識を表明しており、Prologの通訳者はその知識を使用して論理的な控除と回答の質問をしています。