程语言Prolog。Prolog使用一组逻辑(与"规则"和""密切相关的"霍恩子句")，并允许进行可处理的计算。规则持续带来影响，为爱德华·费根鲍姆(Edward Feigenbaum)的专家系统以及艾伦·纽厄尔和赫伯特·西蒙的工作奠定基础，使其完成了Soar及认知统一理论。Dreyfus等人针对逻辑方法的批评观点认为，人类在解决问题时并没有使用逻辑运算。心理学家Peter Wason，Eleanor Rosch，阿摩司·特沃斯基，Daniel Kahneman等人的实验证明了这一点。McCarthy则