17、已知如下事实：

（1）凡是容易的课程小王（wang）都喜欢 （2）C班的课程都是容易的 （3）ds是C班的一门课程

证明：小王喜欢ds这门课程。

18、什么是个体？什么是个体域？函数与谓词的区别是什么？

个体 (个体词)是指所研究对象中可以独立存在的具体事物、状态或个体之间的关系。

个体域(论域)：个体变量的值域（取值范围），常用D表示

谓词与函数的区别：1.谓词的真值是真和假，而函数无真值可言，其值是个体域中的某个个体。2.谓词实现的是从个体域中的个体到T或F的映射，而函数实现的是同一个个体域中从一个个体到另一个个体的映射。3.在谓词逻辑中，函数本身不能单独使用，它必须嵌入到谓词中。 19、请将下面的谓词公式F化为子句集。 F:(?x){(?y)[A(x,y)∧B(y)]→(?y)[C(y)∧D(x,y)]} 参见第七题解题步骤

20、写出三阶梵塔问题的prolog程序。

21、写出N的阶乘的prolog程序。

22、用语义网络表达：Every dog has bitten a postman 。 参见课本page130页上面的图

23、设S={P(x)∨Q(a),?R(f(y))} ,求S的海伯伦全域H(S) 。 参见课本page96页例4-8 解： H0={a} H1={a, f(a) }

H2={a, f(a), f(f(a)) }

……

H(S) ={a, f(a), f(f(a)) ,...}