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

第六章 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 ******************************************************************************/ class family1 open core predicates classInfo : core::classInfo. % @short Class information predicate. % @detail This predicate represents information predicate of this class. % @end predicates run : core::runnable. end class family1 (2)family1.pack 文件头: /***************************************************************************** Copyright (c) Sabu Francis Associates ******************************************************************************/ #include @family1.ph % privately used packages #include @pfc\filesystem\filesystem.ph #include @pfc\application\exe\exe.ph #include @pfc\console\console.ph #include @pfc\exception\exception.ph % private interfaces % private classes % implementations #include @family1.pro (3)family1.ph 文件头: /***************************************************************************** Copyright (c) Sabu Francis Associates ******************************************************************************/ #requires @family1.pack % publicly used packages #include @pfc\core.ph % exported interfaces % exported classes #include @family1.cl ?(4)?family1.prj6 文件头: /***************************************************************************** Copyright (c) Sabu Francis Associates ******************************************************************************/ implement family1 open cor