banalico

I think there are declarative languages that are Turning-complete, like Prolog, etc. So declarative approaches should be equally good.