>>678
むしろPrologが必要なくなる方向を予想する