宣言的プログラミング？

よく「命令型言語は手順を記述し、関数型言語は問題を記述する」と言いますが*1僕は嘘だと思います。たとえばつるかめ算の問題をHaskellで（ましてやMLやSchemeで）記述しても解けないわけで。論理型言語も（程度の問題はあれ）同様かと。

*1:ちゃんとした人が言っているのかどうかわかりませんが