coderemixer.com
硬核解谜 Prolog 入门 —— 13 Archetypes: Skeptic
13 Archetypes: Skeptic 的谜题由三个单独的谜题组成。这三个谜题唯一的共同点就是,它们都有一个错误。 第二个谜题是「数迷」,第三个就是个数学的填字游戏(crossword),其实没什么好讲的,我们来好好讲一下第一个谜题。 起因第一个谜题是一个可以完全用一阶谓词逻辑来描述的问题,也就是使用「断言」「量化」和命题的组合来描述。 上了一年我们学校萩野達也教授的计算理论 + 逻辑课。