第9章逻辑程序计.ppt

程序设计语言范型Programming Languages Paradigms 内容 1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言 1.逻辑和逻辑程序 逻辑程序设计 逻辑程序设计支持说明性程序设计范型 根据问题的高层描述来构建程序 告诉计算机“什么是真的”和“需要做什么”，而不是“怎样做”。 程序员把精力放在问题（封闭的问题世界）的描述上，而不是写一些诸如“下一步做什么”之类的底层算法指令。 1.逻辑和逻辑程序 谓词演算 逻辑程序设计中使用的逻辑 【例】用谓词表示的逻辑命题 0是自然数 2是自然数 对于所有的x，如果x是自然数，则x+1也是自然数 -1是自然数 1.逻辑和逻辑程序 谓词演算 谓词演算元素 ①常量：数或名称 ②谓词：值域为真或假的函数名 ③函数：区别谓词的其余函数 ④变量：不确定值 ⑤连接词： ⑥量词：描述变量 ⑦标点符号：( ) , ; 1.逻辑和逻辑程序 谓词演算 一阶谓词演算（first-order predicate calculus） 全称量化变量和存在量化变量仅可以指向论域中的对象，而不允许指向谓词和函数 谓词和函数的参数是项 常量 变量 函数 1.逻辑和逻辑程序 谓词演算 推理规则 【例】有如下三段论： “所有人会死；苏格拉底是人，所以苏格拉底会死。” 1.逻辑和逻辑程序 【例】证明：Fido会死 ①Fid