prolog って prolog がどうやって推論しているか理解していないと、
（初心者が）仮にプログラムらしいものを書き上げたとしても、
それが正しいプログラムなのかどうかが分からんのよな。

そんな言語を初心者に薦める奴の気が知れない。

俺はカットを初心者に説明しきれる自信はないな。