Prologは初等教育に組み込むべきですね。プログラム言語としてではなく、
情報・知識の記述形式として。