LISP - zmienna globalna zachowuje swoją starą wartość po ponownej inicjalizacji
Tworzę system ekspercki z Common Lisp do moich badań. Istnieje zmienna globalna:BF -> baza faktów.
Inicjalizuję tak:
(defvar *BF* NIL)
Moja funkcja „main function” wywołuje funkcję „initialize”, która ustawia zmienną globalną za pomocą dużych danych.
(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)
))
)
)
)
Przy pierwszym użyciu tej funkcji, kiedy drukujęBF, w porządku. Następnie wywołuję funkcję, która modyfikujeBF :
(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)
)
Ta funkcja działa. Ale kiedy chcę ponownie użyć funkcji „zainicjuj”, to nie działa. Kiedy drukujęBF, zawiera stare wartości ... Jak mogę ponownie zainicjować zmienną globalną?
Przepraszam za mój angielski, jestem francuski ^