Prolog est un langage de programmation logique. 而Prolog是一种逻辑编程语言。
Une utilisation plus fructueuse de la logique a été développée dans les années 1970 par Alain Colmerauer et Philippe Roussel à l'université de Marseille-Luminy et Robert Kowalski à l'université d'Édimbourg qui ont créé le langage de programmation Prolog. 70年代Robert Kowalsky在Edinburgh大学的工作则更具成效:法国学者Alain Colmerauer和Phillipe Roussel在他的合作下开发出成功的逻辑编程语言Prolog。