离散数学的谓词逻辑详解课件.ppt

离散数学的谓词逻辑详解;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;命题符号化(翻译)：;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;嵌套量词-多个量词;将量化当做循环;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;谓词逻辑应用实例-逻辑程序设计;例1,考虑一个Prolog程序，它给出的事实是每门课程的教师和学生注册的课程，程序使用这些事实来回答有关给特定学生上课的教授的查询。 此程序中的Prolog事实可能包含: instructor(chan,math273) instructor(patel,ee222) instructor(grossman,cs301) enrolled(kevin,math273) enrolled(juana,ee222) enrolled(juana,cs301) enrolled(kiko,math273) enrolled(kikoi,cs301) 则一个新的谓词teacher(p,s)表示教授p教学生s，可以用prolog规则来定义: teacher(P,S):-instructor(P,C),enrolled(S,C) (Prolog中用逗号表示谓词的合取) Prolog使用给定的事实和规则回答查询。 如:？Enrolled(kevin,math273) 生成应答 yes ? Enrolled(x,math273) 生成应答 kevin kiko ? teacher(x,jinna) 返回 patel grossman ;*;*