形式语义教材-ch3 逻辑语言形式语义教材-ch3 逻辑式语言形式语义教材-ch3 逻辑式语言形式语义教材-ch3 逻辑式语言.docVIP

第三章 逻 辑 式 语 言 §3.1 概 述 1972年,Kowalski和Colmerauer第一次提出了逻辑程序设计概念, Colmerauer和他的研究小组在法国Marseille大学第一个实现了逻辑程序设计语言PROLOG语言的解释器。在此之后，在1983年，D.H.D.Warren第一个实现了Prolog的编译器。自从编译器诞生开始,Prolog语言成了世界公认的著名语言。Prolog是一个顺序的具体逻辑式语言,而并行的逻辑语言有Parlog,Concurrent Prolog,GHP等。逻辑式语言的理论基础是Horn逻辑。 逻辑式语言的应用领域有:关系数据库,问题求解,自然语言的理解,方程式的符号解法,生物化学中的分子结构分析,数理逻辑,人工智能等等。逻辑式语言的特点有:■具有良好的逻辑性 ■具有良好的并行性 ■具有良好的不确定性 ■可求多个解 ■有不完全值概念■无类型概念。 §3.2 有趣的Prolog语言 在正式介绍逻辑式语言的理论、语法、语义等内容以前,首先粗略地领会一下Prolog程序的风格和趣味性。Prolog程序和我们所见到的过程式以及函数式语言有着很大的不同。 在Prolog语言里,变量用大写字母打头的标识符来表示,凡是小写字母打头的都是常量(整常数或原子)。Prolog