令第二部分:第6童类与对象 6.2类实体 ●注意,我们的 person_class类的实现如下: implement person class class facts ●在本例中,我们添加了一个类 created Count: unsigned: =0 事实 create count,并将其初始 clauses 化为零。并且为谓词 getCreated Count(= created Count getcreate Count添加了一个子 facts 句 用于返回事实 name: string created count的当前值。最后, clauses new(Name) 我们在构造函数中添加代码,使 name:= Name 变量 created Count递增。 created Count created Count 1 ●注意,在构造函数中,有两处 clauses getName(= name 赋值形式相同,但一个是更新对 象状态的,另一个是更新类的状 clauses setName (Name): -name:= Name 态的 end implement person_ class 2004.11.3 A|程序设计2004.11.3 AI程序设计 9 第二部分：第6章 类与对象 6.2 类实体 ⚫ 注意，我们的person_class类的实现如下： implement person_class class facts createdCount : unsigned := 0. clauses getCreatedCount() = createdCount. facts name : string. clauses new(Name) :- name := Name, createdCount := createdCount+1. clauses getName() = name. clauses setName(Name) :- name := Name. end implement person_class ⚫在本例中，我们添加了一个类 事实createCount，并将其初始 化为零 。 并且为谓词 getCreateCount添加了一个子 句 ， 用 于 返 回 事 实 createdCount的当前值。最后， 我们在构造函数中添加代码，使 变量createdCount递增。 ⚫注意，在构造函数中，有两处 赋值形式相同，但一个是更新对 象状态的，另一个是更新类的状 态的