Prologなんか言語自体が
パターンマッチングで動作してて
全部魔境だからな