第六章 PROLOG语言习题解答.doc

第六章 PROLOG语言6.3答：（1）目标不成功（2）目标不成功（3）目标成功，x,y,z被例化为x1,y1,z1（4）目标不成功（5）目标不成功6.4答：poglog规则Is_mother(x):_mother(x,y)Is_father(x):_father(x,y)Is_son(x):_father(y,x),male(x)Grandpa(x,y):_father(x,y1),father(y1,y)Sibling(x,y):_diff(x,y),mother(z1,x),mother(z1,y),father(z2,x), father(z2,y),parent(x,y)6.5答：(1)family1.cl 文件头:/* Copyright (c) Sabu Francis Associates*