提出神经符号方法融合LLM链式推理与精确覆盖（exact cover）求解，提升逻辑谜题的确定性与可验证性。