CLIPS常量编译器指令

Question

类似于C中常量的编译器指令，有没有办法在CLIPS中执行以下操作？

#define INFINITY 1000000000

(deftemplate foo
    (slot num (type INTEGER) (default INFINITY))
)

...

(defrule bar
    (foo (num INFINITY))
    =>
    ...
)

Answer 1

您可以定义全局变量并将其视为常量：

CLIPS> (defglobal ?*INFINITY* = 1000000000)
CLIPS> 
(deftemplate foo
    (slot num (type INTEGER) (default ?*INFINITY*)))
CLIPS> 
(defrule bar
   (foo (num ?num&:(eq ?num ?*INFINITY*)))
   =>)
CLIPS> (assert (foo))
<Fact-1>
CLIPS> (facts)
f-0     (initial-fact)
f-1     (foo (num 1000000000))
For a total of 2 facts.
CLIPS> (agenda)
0      bar: f-1
For a total of 1 activation.
CLIPS>