逻辑式程序设计语言.pptVIP

例 快速分类的Prolog代码 r1 split(_，[ ]，[ ]，[ ] ). r2 split (Pivot，[Head | Tail]，[Head | Sm]，Lg):- Head Pivot，split (Pivot，Tail，Sm，Lg). r3 split (Pivot，[Head | Tail]，Sm [Head | Lg]):- Pivot Head，split (Pivot，Tail，Sm，Lg). r4 quicksort ([ ]，[ ]). r5 quicksort ([Head [ ] ]，Head). r6 quicksort ([Pivot | Unsorted] AllSorted):- split (Pivot，Unsorted，Small，Large), quicksort (Small，SmSorted)， quicksort (Large，Lgsorted), append (SmSorted，[Pivot | LgSorted]，AllSorted). (3)逻辑和控制分离 Prolog无通常意义的控制结构，也就是该程序动作次序（显然也有）和计算的子句逻辑没有必然的关系。例如:把上例中r4,r5,r6写在r1,r2,r3前面并不影响本程序的执行结果。 cut和not谓词 因为Prolog的归结模型只能完整地证明正命题， 是否有解无法判定 如果明知再作没有意义，可人为截断cut (1) 安全cut 非形式解释cut， 它如同一篱笆， 由程序员任意置放在规则之中， 以停止无意义的回溯。 例 安全cut示例：求1到N的整数之和 r1 sum_to(N，1):-N=1，！. r2 sum_to (N，R):-N1 is N-1，sum_to(N1，R1)， R is R1 + N. 当有查询: ?-sum_to(1，X) //匹配r1 X=1; //打‘;’号由于有！不致无限查 找第2个 no ?-sum-to(6，X) //匹配r1失败， 匹配r2连续r2 X=21; //直至成功， 打;号也不再找 no r1 可用sum_to(1,1).事实代 (2) cut 实现not操作 r1 not(X):-X，！，fail. r2 not(_). 其推理过程是: ·若X为假，匹配r1，在未达到！时已失败，则匹配规则r2，由于r2什么变元都可以且总为成功，所以， not(X)是成功的。 · 若X为真，匹配r1后，X为真，控制通过！传到fail,则r1失败。 于是回溯到！过不去，只好失败。由于用了!就地失败，它不再匹配r2， 故not(X)为失败。 正是由于这个原因， 谓词p和not(not (p))求值结果不能保证一样， 有时not(p)和not(not (p))求值结果倒是一样的， 以下是not谓词出毛病的例子: 例 不可靠的not谓词 假定一规则test有以下定义: test (S，T):-S=T. 运行以下查询时有: ?-test(