アリストテレスによる有名な論理的議論を再定式化する単純なプロログプログラムは次のとおりです。

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

％（インタラクティブクエリ）
？ - モルタル（ソクラテス）。％ソクラテスは致命的ですか？
％は「true」を返します。
`` `
Here is a simple Prolog program that reformulates the famous logical argument by Aristotle:

```prolog
% (Statements in program file (.pl))
mortal(X) :- human(X). % "Every human is mortal"
human(socrates). % "Socrates is human"

% (Interactive query)
?- mortal(socrates). % Is Socrates mortal?
% will return "true."
```