Language Models can be Logical Solvers