Can Language Models Pretend Solvers? Logic Code Simulation with LLMs