;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                          -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: defsys.lsp
;;;;    System: 
;;;;    Author: Jin Yan
;;;;   Created: July 13, 2003 12:17:14
;;;;   Purpose: 
;;;; ---------------------------------------------------------------------------
;;;;  Modified: Monday, April 19, 2004 at 17:02:25 by ureel
;;;; ---------------------------------------------------------------------------
(in-package :common-lisp-user) ;; 20040415 ureel

;;;; Change Log
;;;; ---------------------------------------------------------------------------
;;;; 04/15/2004 ureel > Down-cased for case-sensitive Lisp.
;;;; 04/16/2004 ureel > Added loading of required systems (cgx, ltre, gizmo).
;;;; 04/19/2004 ureel > Added Keyword args to loading of Gizmo <sigh>

#-qrg (error "You must first load qrg-setup.lisp.")

#-(and allegro allegro-version>= (version>= 5))
  (warn "*** The HTML Explanation Generation system requires Allegro CL v5.")

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Define system globals

(defparameter *gizmo-fire-version* "v1" "Current version of gizmo-fire.")
(defparameter *gizmo-fire-path* (qrg:make-qrg-path "FIRE" "V1" "Gizmo" "V2"))

;;;; Load Required System Definitions
;;;; ---------------------------------------------------------------------------
;; 20040416 ureel - added section.
(qrg:load-qrg-defsys "ltre")
(qrg:load-qrg-defsys "gizmo")

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; List the system's files

(defparameter *gizmo-fire-files*
  '("gizmo-extra-id"
    "QP-source-1"
    "domain-theory"
    "scenario"
    "setup-qp-dt"     
    "make-exp"        
    "gizmo-translation"  
    "reify-gizmo"
    "dt-cyc-loader" ;; the translator that load knowledge from qp format to cyc format into the kb.
    ))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Define the system's loading function

(defun load-gizmo-fire (&key (action :source-if-newer) (verbose t) (force-load t))
  (when (or force-load 
            (not (member :gizmo-fire qrg:*modules-loaded*)))
    ;; Load Required Systems  ;; 20040416 ureel
    (qrg:require-system "gizmo" :load-gizmo :gizmo 
                        :gui nil ;; 20040419 ureel - gui is non-FIRE only.
                        :action action :verbose verbose :force-load force-load)
    
    ;; Mark rerep loaded
    (pushnew :gizmo-fire qrg:*modules-loaded*)
    (pushnew :gizmo-fire *features*)
    
    (format t "~%Loading qp-source code~%")
    ;;; LOAD THE FILES
    (qrg:load-files *gizmo-fire-path* *gizmo-fire-files* :action action :verbose verbose)
    :done))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Tell user how to load system

(format t "~%~A~%" (make-string 80 :initial-element #\-))
(format t "  To load Gizmo-Fire reasoning source, call (load-gizmo-fire).~%")
(format t "~A~%" (make-string 80 :initial-element #\-))


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; End of Code