チューリング賞とチューリングの業績は関係ありません。
権威を背負おうと必死ですねw

意味わかんないゴタクをいくら述べようと、PrologやHaskellが、
（どちらもわずかに手続き型を取り入れているけど）手続き型でないことに変わりはありません。

チューリング等価なら手続き型なんだ、といくら叫んでも、認めてくれる計算機科学者は一人もいません。