Prolog编程语言是由Alain Colmerauer及其研究小组于1972年在马赛大学开发

小猪老师

06月02日 14:30

此文约为234字，阅读需要2分钟

Prolog编程语言是由Alain Colmerauer和他的同事于1972年在马赛大学开发的。

Prolog是一种面向演绎推理的逻辑型程序设计语言，最早于1972年由Colmeraner及其研究小组在法国马赛大学提出。

逻辑编程语言，PROLOG是最有名的，这样的语言类似于SQL数据库语言。程序由“推理引擎”执行。

自1972年以后，分支出多种Prolog的方言。最主要的两种方言为Edinburgh和Aix-Marseille。最早的Prolog解释器由Roussel建造，而第一个Prolog编译器则是 David Warren编写的。

Prolog一直在北美和欧洲被广泛使用。日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。在早期的机器智能研究领域，Prolog曾经是主要的开发工具。