>>698
一般に高水準言語は低水準言語のサブセットであることが多い。
初心者を対象にした場合、絞った領域から入る方が良いという
考え方もある。

「雪は白い」が仕様だとして、
白い(雪). と
雪→白い は違うと思う。
Prologで後者を表現すると、
白い :- 雪.
これを仕様方向にリバースすると
「雪(が降っている)ならば、(外は)白い」くらいの意味になり、
「雪は白い」とは異なる。

Prologの言語仕様の中で、関数部分に「白い」のような
「述語」を持ってきなさいと指定しているわけではない。
しかし、Prologが一階の述語論理を基礎としていることを
尊重して、ほとんどのPrologプログラマが主語、述語の
関係を明確にするように記述している。