clips的建表与事实

//增加鸭子的一个事实 assert 是宣称，宣告的意思

CLIPS> (assert(鸭子))  

<Fact-1>  //表示已经存储了鸭子这个事实

查看事实 

CLIPS> (facts)

返回

f-0     (initial-fact)

f-1     (鸭子)

For a total of 2 facts.

每加入一个事实，都会分配一个以f开头的标识，例如 ： f-1 f-2 f-3 等等

一般情况下事实不能重复输入，但可使用命令  set-fact-duplication 使事实允许重复。

Clear 命令将所有的事实从内存中移出

clear ）命令实质上将 CLIPS 恢复到起始启动状态，它清除了 CLIPS 的内存空间，重置事实标识为 0 和增加了一个 (initial-fact) 事实。此命令同时还会清除所有规则。

(assert (a) (b) (c)) //此命令可以同时加入三个事实 

 

注：（facts ）命令的完整语法为：(facts [<start> [<end> [<maximum>]]]) ，<start> 表示显示索引号大于等于<start> 的事实，<end> 表示小于等于<end> 的事实，<maximum> 表示显示在<start> 和<end> 之间最多<maximum> 个事实。

事实中不能嵌入其他的事实。举例，下面即是一个非法的事实：  (duck (shot Brian Gary Rey))

CLIPS 被认为是区分大小写的，因为它将大写和小写字母区别对待。

 

如果要移除索引为 f-3 的最后一个事实，键入撤销命令并选择你所要撤销的事实，如下所示：

(retract 3)

撤销一个事实，你必须指定该事实的索引。 你可以一次撤销多条事实，如下所示： 

(retract 1 3)

你也可以用 (retract *) 撤销所有的事实，这里的 * 指代所有的事实。

(retract *)

(watch facts)  可监视事实的增加与撤销