代Robert Kowalsky在Edinburgh大学的工作则更具成效：法国学者Alain Colmerauer和Phillipe Roussel在他的合作下开发出成功的逻辑编程语言Prolog。Prolog使用一组逻辑(与"规则"和""密切相关的"霍恩子句")，并允许进行可处理的计算。规则持续带来影响，为爱德华·费根鲍姆(Edward Feigenbaum)的专家系统以及艾伦·纽厄尔和赫伯特·西蒙的工作奠定基础，使其完成了Soar及认知统一理论。Dreyfus等人针对逻辑方法的批评观点认为，人类在解