高的计算复杂度：即使是证明很简单的定理也需要天文数字的步骤。70年代Robert Kowalsky在Edinburgh大学的工作则更具成效：法国学者Alain Colmerauer和Phillipe Roussel在他的合作下开发出成功的逻辑编程语言Prolog。Prolog使用一组逻辑(与"规则"和""密切相关的"霍恩子句")，并允许进行可处理的计算。规则持续带来影响，为爱德华·费根鲍姆(Edward Feigenbaum)的专家系统以及艾伦·纽厄尔和赫伯特·西蒙的工作奠定基础，使其完成了Soar及认知统