Yes, but no programming language will solve the problems for you. First, you have to understand the problem in order to come up with appropriate representations (data structures) and an operationalization of the problem. They are essentially platforms, not formalisms in the linguistic sense. First you make the linguistic formalism precise (semantically as well as syntactically), then you map it into the language. The result of this mapping is what must be judged.
Once again, higher order facilities and object orientation may be very good in implementation terms (facilitating maintainability, abstraction and modularity), whatever their relationship to linguistics per se. Good support for rapid prototyping may also be useful in the case where the linguistic formalism still retains some fluidity.
There is an additional question relating to scale of implementation: bulk data handling is only feasible with formalisms that can be compiled effectively. In principle CLP languages provide no barrier to this kind of processing, and indeed the LIFE compiler is planned to provide industrial-scale performance.