Optimization 剪辑中的代码转换

我在转换这个代码时遇到了问题，

？a&:（=（+？b？c）？a）

在剪辑中更简单、更有效

有人能帮我吗

如果不需要再次引用变量？a，则使用=（+？b？c），否则使用？a&=（+？b？c）

CLIPS>
（示例1）
（factoid？b？c）
（factoid=（+？b？c））
=>)
剪辑>
（示例2）
（factoid？b？c）
（factoid？a&=（+？b？c））
=>
（打印输出t？a crlf））
剪辑>（断言（factoid 1 2）（factoid 3））
剪辑>（议程）
0示例1:f-1、f-2
0示例2:f-1、f-2
总共2次激活。
剪辑>

CLIPS> 
(defrule example-1
   (factoid ?b ?c)
   (factoid =(+ ?b ?c))
   =>)
CLIPS> 
(defrule example-2
   (factoid ?b ?c)
   (factoid ?a&=(+ ?b ?c))
   =>
   (printout t ?a crlf))
CLIPS> (assert (factoid 1 2) (factoid 3))
<Fact-2>
CLIPS> (agenda)
0      example-1: f-1,f-2
0      example-2: f-1,f-2
For a total of 2 activations. 
CLIPS>