; Steps to take to load and run your files using the OSU toolset:
; It is assumed that the files have already been compiled.  If you so not
; have .fasl files anywhere in the directory, then it is not compiled.
; To compile, after getting into LISP, do the following:
; (load "load-toolset.cl")   (you may need your whole path name here)
; (toolbed::compile-toolset)
; then you should be able to do the (toolbed::load-toolset) command


1) logon to a SUN workstation

2) type: cd /usr/ai/hp/toolset
a) if you desire a hardcopy of your session, type: script

3) type: pb_composer                    // (this starts LISP)

4) after <cl> or <user> prompt type: (load "/usr/ai/hp/toolset/load-toolset.cl")

5) wait for loading until get <cl> prompt, then type: (toolbed::load-toolset)

6) wait for loading again -until <toolset:> prompt, then load your .lsp or .cl file, 
    e.g.,    (load "/user/s/youruserid/yourfile.lsp")
             (load "/user/s/youruserid/yourfile.cl")
             (load "/usr/ai/hp/testcases/csrl/automech.gt")

7) To run a CSRL or RA case, you use the function START-SOLVING.  Execute
   (start-solving 'casename topdragon verb)
    OR
   (invoke topdragon 'establish-refine 'casename)
     *example* (invoke AutoMech 'establish-refine 'testcase1)

  :casename is any case name you want (no spaces)
  :topdragon is the top specialist of your file
  :verb is the command for the system (e.g. ESTABLISH-REFINE for CSRL
    and JUDGE for RA)

8) answer questions 

9) exit with (excl:exit)

10) exit from the script subshell - there will be a  file named typescript
    in the directory you are in

-------------------------------------------------------------

   
Examples are in /usr/ai/hp/testcases/csrl for you to play with.