論理プログラミングを実証するPrologで書かれたプログラムの基本的な例を教えてください。
アリストテレスによる有名な論理的議論を再定式化する単純なプロログプログラムは次のとおりです。

`` `prolog
％（プログラムファイルのステートメント（.pl））
Mortal（x）：-human（x）。％「すべての人間は致命的です」
人間（ソクラテス）。％「ソクラテスは人間です」

％（インタラクティブクエリ）
？ - モルタル（ソクラテス）。％ソクラテスは致命的ですか？
％は「true」を返します。
`` `