逻辑式程序设计语言-程序设计语言原理.pdfVIP

第六章 逻辑式程序设计语言  逻辑式语言基本形式：用一种符号逻辑作为程序 设计语言来进行程序设计，通常称为逻辑程序设 计语言，或声明性语言 逻辑式程序设计语言范型 程序要对数据结构实施某个算法过程,算法实现计算逻辑 算法 = 逻辑 + 控制 逻辑程序设计的基本观点是程序描述的是数据对象之间的 关系。关系也是联系 对象和对象、对象和属性的联系就是我们所说的事实。事 实之间的关系以规则表述，根据规则找出合乎逻辑的事实 就是推理 逻辑程序设计范型是陈述事实、制定规则，程序设计就是 构造证明。程序的执行就在推理 6.1谓词演算 谓词演算是符号化事实的形式逻辑系统，它也是逻 辑程序设计语言的模型 • 表示命题 • 表示命题之间的关系 • 描述如何根据假设为真的命题推断出新命题 • 谓词演算诸元素 用形式方法研究论域上的对象需要一种语言，它能 表达该域对象具有什么性质(properties) ， 以及对象间 有些什么关系(relations) 描述以公式(Formulas)表达。谓词公式中各元素按 一定逻辑规则变换，即谓词演算(predicate calculus)