Prolog语言简介讲解.ppt

likes(m, f). likes(m, w). (事实) likes(j, w). likes(j, s). goal likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？( X = ? ) f w s 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) likes(j, X) 第三步：回到第一个问题 likes(m, X) ，重新匹配，得到 { w / X} 第四步：第二个问题变成 likes(j, w)。再与事实匹配，成功 第五步：答案就是 X=w likes(m, f). likes(m, w). likes(j,