如何修改有序（非模板）事实，说n个值？

Question

修改不起作用。我希望事实1是（Axyz）。

此外，如果我想更改事实1的第二个元素 c 说 g ，即新事实应该是（abgd）是有一种方法使用修改？
摘要附在下面。

CLIPS> (assert (a b c d))

<Fact-1>

CLIPS> (bind ?s x y z)

(x y z)

CLIPS> (facts)

f-1     (a b c d)

For a total of 1 fact.

CLIPS> ?s

(x y z)

CLIPS> (modify 1 (implied ?s))

FALSE

CLIPS> (facts)

f-1     (a b c d)

For a total of 1 fact.

CLIPS> 

Answer 1

修改仅适用于模板事实。如果您使用有序事实，则需要进行缩回并断言：

CLIPS> (assert (a b c d))
<Fact-1>
CLIPS> (bind ?s x y z)
(x y z)
CLIPS> (retract 1)
CLIPS> (assert (a ?s))
<Fact-2>
CLIPS> (facts)
f-2     (a x y z)
For a total of 1 fact.
CLIPS> 

使用替换$函数在多场值中替换值，然后再将其作为事实的一部分：

CLIPS> (bind ?s (replace$ ?s 2 2 g))
(x g z)
CLIPS>