LISP-全局变量在重新初始化后保留其旧值

我正在用CommonLisp创建一个专家系统用于我的学习。 有一个全局变量：BF->fact base

我喜欢这样：

(defvar *BF* NIL)

我对函数“initialize”的“main function”调用，该函数使用大数据设置全局变量

(defun initialize ()
(setf *BF* 
    '(
        (metric (
            (CPU-utilization NIL)
            (RPI NIL)
            (ART NIL)
            (concurent-invocation NIL)
            (stall-count NIL)
            (GC-bytes-in-use NIL)
            (available-thread NIL)
            (available-connection NIL)
            (instance-count NIL)
        ))
        (problem (
            (livelock T)
            (memory-leaks T)
            (code-inefficient T)
            (overload T)
            (under-allocation T)
            (internal-chokepoint T)
            (thread-leaks T)
            (blocking-deadlock T)
            (unending-retries T)
            (overuse-external-system T)
            (pig-in-a-python T)
            (too-many-layers T)
            (backend-bottleneck T)
            (frequent-GC-resource-leaks T)
            (slow-backend T)
            (suddenly-slow-backend T)
            (nonblocking-deadlock T)
            (thread-leaks T)
        )) 
        (category ( 
            (sudden T) 
            (consistent T) 
            (periodic T) 
            (progressive T) 
        ))
    )
)
)

在第一次使用这个函数时，当我打印BF时，它是可以的。 然后我调用一个函数，其中修改BF：

此功能正常工作。 但是当我想再次使用函数“initialize”时，它就不起作用了。当我打印BF时，它包含旧值。。。 如何重新初始化全局变量

---

对不起，我是法国人^

您正在修改文字数据。最好避免它，因为它的效果在可移植代码中是未定义的。设想一个编译器通过共享文本列表来节省空间

确保变量

*BF*

具有新分配的数据。用于在每次初始化变量时复制列表

(defun apply-rule (type name value)
    ; Get conclusion list for this rule
    (let ((conclusion (get-conclusion name value)))
        (if (null conclusion)
            (if (not (equal 3 value))
                (return-from appliquer-regle NIL)
                (return-from appliquer-regle 'T)
            )
        )
        ; Iterate on all problems in *BF*
        (dolist (e (cadr (assoc 'problem *BF*)))
            ; If the problem is not in conclusion list, set it value to false 
            (if (and (member (car e) conclusion) (equal (cadr e) 'T))
                ()
                (setf (cadr e) NIL)
            )
        )
        (return-from apply-rule 'T)
    )
    (return-from apply-rule NIL)    
)