//增加鸭子的一个事实 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) 可监视事实的增加与撤销