I'd hesitate to say that FP is on the same level as logic programming, or to say that it is declarative. It really depends on what you mean by FP. If you refer

I'd hesitate to say that FP is on the same level as logic programming, or to say that it is declarative. It really depends on what you mean by FP. If you refer to lambda-calculus or to say, the head/tail decomposition so common in FP, then those are inherently sequential and not really declarative. If you refer to functors / monads, then you're on to something, but then again, OOP doesn't really imply imperative.