---This is prolog3.doc---

CMIS SAMPLE RUNNING COMMAND SEQUENCE 2 METHODS
(after kick CMIS, any CMIS command can input as :log,:stat,:list etc...)

------METHOD1------
A>cmis　　　　　　　　　　　　　　　　　 <-input at DOS command line
C-Prolog on MS-DOS Nakamura　　　　　　　　 <-output
with Model inference system　　　　　　　　 <-output
waiting for work..　　　　　　　　　　　　　<-output
:load le.ll　　　　　　　　　　　　　　　<-input
:load le.ll accepted　　　　　　　　　　　　<-output
waiting for work..　　　　　　　　　　　　　<-output
:lang　　　　　　　　　　　　　　　　　　<-input
:lang accepted　　　　　　　　　　　　　　　<-output
waiting for work..　　　　　　　　　　　　　<-output
:load le.ex　　　　　　　　　　　　　　　<-input
:load le.ex accepted　　　　　　　　　　　　<-output
waiting for work..　　　　　　　　　　　　　<-output
:ex　　　　　　　　　　　　　　　　　　　<-input
:ex accepted　　　　　　　　　　　　　　　　<-output
waiting for work..　　　　　　　　　　　　　<-output
:rmis　　　　　　　　　　　　　　　　　　　 <-input

------METHOD2------
A>cmis　　　　　　　　　　　　　　　　　 <-input at DOS command line
C-Prologon MS-DOS Nakamura　　　　　　　　　<-output
with Model inference system　　　　　　　　 <-output
waiting for work..　　　　　　　　　　　　　<-output
:rmis le　　　　　　　　　　　　　　　　 <-input