expert-system - 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>