john7rv

ではPrologに事実と規則を読み込ませます
まず
事実と規則を書いた
factAndrule1.pl
というファイルを作ります

そしてインタープリタを起動させると

?-

という入力プロンプトが出てくるので

?- ['factAndrule1.pl'].

と入力することで
Prologインタープリタに読み込ませます
注：シングルクォートとピリオドを忘れないでください

そうするとインタープリタはそれを元に
推論するので
プログラマーは
論理式（ホーン式）を書き込めば
それが正しいかどうかを質問したことになるので
Prologはtrueかfalseで答えます

事実と規則は
ファイルを用意しなくても

?- [user].

と入力することで
インタープリタ上で
直接書いて設定することもできます