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

系统化归纳13种语言模型与规则引擎耦合的设计模式，统一命名并明确适用场景与权衡。