4月8日，Prolog之父、法国科学院通讯院士、巴赛大学Alain Colmerauer教授应邀来中科院数学与系统科学研究院访问，并作了一场题为“从自然语言处理到Prolog”的精彩报告。报告会由数学院副院长汪寿阳主持。

Alain Colmerauer教授从利用W-Grammar和Q-System开发的一个自动法语翻译器谈起，介绍了Prolog语言的起源、发展历史及未来的发展前景。报告结束后，Alain Colmerauer教授与听众进行了热烈交流。大家不仅对Prolog语言有了进一步的了解，更认为该报告会对相关的研究工作起到良好的促进作用。

Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域，现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。Prolog一直在北美和欧洲被广泛使用，日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。

Alain Colmerauer教授等人于60年代末开始研究开发Prolog语言，并于1972年研发成功。Alain Colmerauer教授由此被称为Prolog之父。由于在Prolog等领域的杰出贡献，Alain Colmerauer教授先后获得法国软件金苹果奖和当选为法国科学院通讯院士。Alain同时是CLP（约束逻辑规划）领域的主要奠基人之一。2008年，他被ACP（约束规划学会）授予“杰出研究奖”。

双方交谈