人工智能ArtificialIntelligence(AI)8.pptVIP

4 Prolog程序的结构 Prolog的程序分为两部分： 前提部分：所有事实和规则 问题部分：目标子句序列 注意： 这两部分不能颠倒。必须前提部分写在前面，问题部分写在后面 例： likes(m, f). likes(m, w). (事实) likes(j, w). likes(j, s). ?- likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？ Prolog的求解过程 现在有两个问题：likes(m, X) 和 likes(j, X)） 第一步：第一个问题 likes(m, X) 去与事实匹配（置换与合一），按顺序得到 {f/X} likes(m, f). likes(m, w). likes(j, w). likes(j, s). 第二步：f 代替第二个问题 likes(j, X) 中的 X，则得 likes(j, f) 。再与事实匹配，不能匹配，失败，则回溯，忘掉刚才的匹配 likes(m, f). likes(m, w). likes(j, w). likes(j, s). 第三步：回到第一个问题 likes(m, X) ，重新匹配，得到 {w/X} 第四步：第二个问题变成likes(j, w)。再与事