Prologで質問(fact)は『?-』から始めて記述します。
SWI-Prologを起動したときに
1 ?-
と表示されるのも、『今から質問を受け付けますよ』という意味です
(1は行番号)。
ここで
true.
と入力すると
true.
と返ってきます。
false.
と入力すると
false.
と返ってきます。
こだまですか?いいえ、人間です
余計なことはさておき、Prologは何でもtrueかfalseで返します。
最初に出てきた
?- write('Hello, World!').
だって
Hello, World!
true.
と、Hello, Worldを出力する際にもtrueと評価されています。
この場合は出力が成功したのでtrueが返ってきます。
Prologは白黒付けたがる言語(?)
trueとかfalseだけで遊んでいてはつまらないですね。
自分で事実と規則を定義できるようになってからが面白くなります。
というわけでまた次回。