ch1 prolog基础.docVIP

Ch1 Prolog基础 目标子句（goal clause）、事实（facts）、规则（rules）合起来称为Horn子句，因而得名Horn子句逻辑。 Prolog可以作为专家系统来使用，但它本身却是作为一种程序设计语言而设计出来的。把Horn子句逻辑变为一种程序设计语言的2个重要因素： （1）严格的有哪些信誉好的足球投注网站顺序或程序控制； （2）副效应。 1. 程序控制 Prolog不使用随机有哪些信誉好的足球投注网站策略，而总是使用同一种策略。系统保持一个当前目标，始终从左到右进行求解。当求解一个特定子目标时，当前目标中待求解的那个子目标将被其规则右边的那些子目标所代替。所谓的“谓词”，就是相当于其他编程语言中的过程或者子例程。它们之间的区别在于一个Prolog谓词对于一个单个提问可以返回多个结果或者没有结果（即失败）。 例： parent(Person, Parent) :- mother(Person, Parent). parent(Person, Parent) :- father(Person, Parent). sibling(Person, Sibling) :- mother(Person, Mother), mother(Sibling, Mother). sibling(Person, Sibling) :- father(Person, Father), father(Sibling, Father). fullBolodeSibling(Person, Sibling) :- mother(Person, Mother), mother(Sibling, Mother), father(Person, Father), father(Sibling, Father). 1.1 失败（fail） 如果目标失败了，则说明定理中完全不存在针对该目标的解。 1.2 回溯 1.3 改进家庭定理 问题在于：选择了一个不好的方式来形式化这个定理。原因是从考虑实体间的关系开始的。如果首先考虑实体本身呢？ person(Bill, male). person(John, male). person(pam, female). parent(Bill, John). parent(Pam, Bill). father(Person, Father) :- person(Father, male), parent(Person, Father). 1.4 递归 如何定义“祖先”关系？ ancestor(Person, Ancestor) :- parent(Person, Ancestor). ancestor(Person, Ancestor) :- parent(Person, P1), ancestor(P1, Ancestor). 递归具有非常强大的功能，但也有一点难于控制。使用递归时，要记住： （1）递归必须能够前进； （2）递归必须能够终止。 1.5 副效应（side effects） 例： ancestor(Pam,X), write(Ancestor of Pam: , X), nl(). Ancestor of Pam: Bill X = Bill Ancestor of Pam: John X = John 2 Solutions PIE给出的结果和自己给出的结果混在一起，怎么办？一个简单的办法是确保该目标没有解，例如： ancestor(Pam,X), write(Ancestor of Pam: , X), nl(),fail. Ancestor of Pam: Bill Ancestor of Pam: John No solutions Fail是一个预先定义的谓词，它总是失败，没有解。 注意： （1）目标本身不存在单一的解，从而使想要的全部解都作为副效应形式给出； （2）副效应在失败计算中也存在。 建议： 将计算性代码与执行输入输出的代码分开。 2. Prolog算符 2.1 算符 简单论域（simple domains）：字符串、数、符号、字符。 复合论域（compound domains）：简单论域的一个集合。 例如：person(Name, Gender) 注意上面的式子既不是事实，也不是谓词。person就是所谓的算符。 例： father(person(Bill,male), person(John, male)). father(person(Pam,male), person(Bill, male)). grandFather(Person, GrandFat