(defvar *OB* ())   ; a list of CLOS instances (the knowledge base)

(defvar *RB* ())   ; the rule base, just a Lisp list of rule definitions
                   ;  definitions are used directly (interpreted) by code

(defvar *tag* 0)   ; the value of the next time tag for any instance
                   ;  created or modified

;;-----

(defvar *CRS* 'CR-first)
                ; the current conflict resolution strategy,
                ;       by default set to 'CR-first

;;; *loaded* globals are used to reset system to initially loaded values

(defvar *loaded-objects* ()) ; initially loaded object definitions
(defvar *loadedOB* ()) ; initially loaded calls to make-RBR-instance
(defvar *loadedRB* ()) ; initially loaded rules

(defvar *rule-names* ()) ;list of all rule names