Prolog est un langage de programmation logique. 而Prolog是一种逻辑编程语言。
Prolog est un langage de programmation logique. 而Prolog是一种逻辑编程语言。
Prolog (PROgrammation LOGique), défini en 1972 par Colmerauer, Roussel et Kowalski (en) est le premier langage de programmation logique. Prolog,於1972年由Colmerauer、Roussel,以及Kowalski所设计,是第一个逻辑程式语言。
Prolog (PROgrammation LOGique), défini en 1972 par Colmerauer, Roussel et Kowalski (en) est le premier langage de programmation logique. Prolog,於1972年由Colmerauer、Roussel,以及Kowalski所设计,是第一个逻辑程式语言。
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。
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。