ここはPrologのスレですから。ICOTが「計算機科学に貢献」できなかったとは言えません。
なぜかというと、ICOTの成果を引き継ぐのは私たちだからです。計算機科学に貢献して
いないように見えるとしたら、ロジックプログラミングの世界を発展できず、むしろ縮小さ
せてしまっている私たちの力不足だということになります。