断言新事实时如何重置事实索引？

Question

我已将 CLIPS 嵌入到 C 语言中。 我有这样的情况： 在 .clp 文件中，我有事实清单

(deftemplate sensor
 (slot name) 
 (slot status)) 

(deffacts FRONTSENSOR
(sensor (name 1) (status 1))
(sensor (name 2) (status 1))
(sensor (name 3) (status 0))
(sensor (name 4) (status 0))
(sensor (name 5) (status 1))
(sensor (name 6) (status 0))
(sensor (name 7) (status 0))
(sensor (name 8) (status 0))) 

现在我想取消这些事实并在列表中声明新的事实。 我使用Retract(factPtr); 取消事实并使用AssertString("(sensor (name 1) (status 0))"); 断言事实。 我打印事实清单，结果是

f-0     (initial-fact)
f-11    (sensor (name 1) (status 0))
f-12    (sensor (name 2) (status 0))
f-13    (sensor (name 3) (status 1))
f-14    (sensor (name 4) (status 0))
f-15    (sensor (name 5) (status 0))
f-16    (sensor (name 6) (status 0))
f-17    (sensor (name 7) (status 1))
f-18    (sensor (name 8) (status 1))
For a total of 9 facts.

fact-index 是从 11 开始而不是 1，我想知道新断言的事实是否可以从 f-1 开始的功能或解决方案。 ps：Clear()function 可以重置fact-index，但是规则也会被清理。好像没什么用。

感谢您的回答或任何想法。

Answer 1

Reset() 函数将删除所有事实并重置事实索引而不删除任何规则。