PDF《第5章》

15 6.5 节1. 类是对象的描述. 2. 大概是MeteorClass, 由它可构造各种流星. 在类LaserClass内, 可以找到名为AimDirection 的实例变量,它指示激光瞄准的方向.这个变量大概会用在fire、turnRight和turnLeft 等方法中. 3. 类Employee可以包含与雇员的姓名、 住址、 服务年限等有关的特性. 类FullTimeEmployee 可以包含与退休津贴有关的特性. 类PartTimeEmployee可以包含与每周工作的小时数和每 小时佣金等有关的特性. 4. 构造器是类里的一个特殊方法,它在创建该类的一个实例时执行. 5. 一个类里的某些项被指定为私有,以防止其他程序单元直接访问这些项.如果一个项是私有 的,那么修改这个项的影响应该限于这个类的内部. 6.6 节1. 包含初始化并发进程执行的技术以及实现进程间通信的技术. 2. 一个方法是把负担放在进程上,另一个方法是把负担放在数据上.后者的好处是把任务集中 在该程序的一个点上. 3. 这包括天气预报、空中交通管制、复杂系统(从核反应到行人交通)的模拟、计算机网络以 及数据库维护. 6.7 节1. R、T和V.例如,我们可以证明,R是将R加到这个集合的结果,并且能够证明这个解可以 得到空语句,证明如下: 2. 不是.这个集合是不一致的,因为消解可以得到空语句,证明如下: 3. mother(X, Y) :- parent(X, Y), female(X) father(X, Y) :- parent(X, Y), male(X) 4. Prolog将得出结论:carol是她的同胞.为了解决这个问题,规则需要包括x不能等于y这样 的事实,在Prolog中写成x \= y.这样规则的改进版本是: sibling(x, y) :- x \= y, parent(z, x), parent(z, y) 空空16 问题与练习答案 意思是:如果x和y不相同且其父母中有一方相同,那x就是y的同胞.下面的版本则坚持认 为只有当x和y的父母双方都相同,那他们才是同胞: sibling (x, y) :- x \= y, z \= w parent (z, x), parent (z, y) parent (w, x), parent (w, y) 第7章7.1 节1. 一长串赋值语句序列并不比设计成几个嵌套的if语句........