第六章逻辑式程序设计语言.pptVIP

事实是左边为空的子句。 查询是待定的假设 规则是条件子句，目标是例化的事实。 * 对于所有L和M，Path（L，M），if存在X使得link（L，X）and path（X，M） * 合一是找出型式匹配的两子句， 将它们合一为归结式， 相当于代数中的化简。 ？- X is 2+3， X=5 X =5 被满足。但是 ？- X is 2+3， X= 2+3 no 因为2+3与5无法合一。项2+3是将运算符+作用于参数2和3，而5简单的就是整数5，因此2+3无法与5合一。 * 通过一趟排序将要排序的数据分割成独立的两部分，其中一部分的所有数据都比另外一部分的所有数据都要小，然后再按此方法对这两部分数据分别进行快速排序，整个排序过程可以递归进行，以此达到整个数据变成有序序列。 * 截断运算符（！）实际上是一个目标，不是一个运算符，要立刻被满足。 截断的副作用就是复合目标中左边的子目标不会通过回溯再次满足。 * Prolog里不能证明一个理论为真，那么断言not（T）成功。 结论：not用起来要很小心 从正逻辑只能推出正逻辑，使用horn子句形式不能得出否定的结论 * 因为text（X，3）满足了，not test (X，3)不能满足。这一目标失败时，X会取消实例化（prolog的设置）。 接着prolog会使用规则r2，它会满足。再返回r1，因为没有X，导致error！ * 封闭世界内的假设 如果有某个子目标查遍数据库也找不到能满足的事实， 该子目标失败， 但不等于整个目标的失败。 即使是整个目标最后失败， 也不等于这个目标追求的命题是否定的， 因为限于数据库存放的规则和事实有限， 它是“封闭世界假说”之下的失败。 函数和计算 (1) 函子完成逻辑设计中的计算 函子以结构形式出现， 如: 中缀表示 前缀表示 X+Y*Z +(X，*(Y，Z)) A-B/C -(A，/(B，C)) 故它不是谓词，仅仅是一特殊的结构： 函数名(变元， …， 变元) 函数求值的的结果一般通过谓词is(变元，表达式)束定到变元上 gcd (A，B，D);-(AB)，(B0)，R is A mod B，gcd(B，R，D). 把函数改写为约束，很容易写出prolog程序 例 求斐波那契数的Prolog程序 斐波那契函数以下述公式生成以下数列: 1， 1， 2， 3， 5， 8， 13， 21， … Fib(0) = 1 Fib(1) = 1 Fib(n) = Fib(n-1) + Fib(n-2) 第一、二式是事实也是公理，把结果值作为变元照写。 第三式说明，若n为斐波那契数，n-1和n-2的斐波那契必须成立，且这两个数之和是n的斐波那契数， n1， 于是有Prolog程序 Fib (0，1). Fib (1，1). Fib (n，f):-Fib(m，g)，Fib(k，h)，m is n-1，k is m-1， f is g+h， n1. 当有查询 ?-Fib(5，f)时， f返回8 (2) 逻辑程序的算法表达 算法怎样用公理表达呢？拿一个最典型的Quicksort分类程序讨论。 quicksort(未分类表，分类完的表):- (从未分类表拿出第一元素,以它为基准,分成两个表), [1] quicksort(小表，分类完小表)， [2] quicksort(大表，分类完大表)， [3] append (分类完小表， 基准元素和分类完大表，分类完总表)