それにしてもPrologはあり得ないな。いつの時代の化石言語だよww