論理へのより有効なアプローチは70年代にエジンバラ大学のロバート・コワルスキー（英語版）が発展させ、間もなくフランスの研究者アラン・カルメラウアー（英語版）とフィリップ・ルーセルと共同で論理プログラミング言語Prologを生み出すことになる。
70年代RobertKowalsky在Edinburgh大学的工作则更具成效：法国学者AlainColmerauer和PhillipeRoussel在他的合作下开发出成功的逻辑编程语言Prolog。