memrycmd.exp

NASA 开发使用的一个专家系统

TRUE
CLIPS> (batch "memrycmd.bat")
TRUE
CLIPS> (clear)
CLIPS> (mem-used 10)
[ARGACCES4] Function mem-used expected exactly 0 argument(s)
CLIPS> (mem-used)
53348 ;; Different number OK
CLIPS> (mem-requests 20)
[ARGACCES4] Function mem-requests expected exactly 0 argument(s)
CLIPS> (mem-requests)
2034 ;; Different number OK
CLIPS> (release-mem 10)
[ARGACCES4] Function release-mem expected exactly 0 argument(s)
CLIPS> (release-mem)
1332 ;; Different number OK
CLIPS> (conserve-mem)
[ARGACCES4] Function conserve-mem expected exactly 1 argument(s)
CLIPS> (conserve-mem on off)
[ARGACCES4] Function conserve-mem expected exactly 1 argument(s)
CLIPS> (conserve-mem off)
CLIPS> (defrule foo =>)
CLIPS> (deftemplate foo)
CLIPS> (deffacts foo)
CLIPS> (defglobal ?*foo* = foo)
CLIPS> (deffunction foo ())
CLIPS> (defgeneric bar)
CLIPS> (defmethod bar ())
CLIPS> (defclass SNAFU (is-a USER) (role concrete))
CLIPS> (definstances foo (x of SNAFU))
CLIPS> (defmessage-handler SNAFU fubar ())
CLIPS> (ppdefrule foo)
(defrule MAIN::foo
   =>)
CLIPS> (ppdeftemplate foo)
(deftemplate MAIN::foo)
CLIPS> (ppdefglobal foo)
(defglobal MAIN ?*foo* = foo)
CLIPS> (ppdeffunction foo)
(deffunction MAIN::foo
   ())
CLIPS> (ppdefgeneric bar)
(defgeneric MAIN::bar)
CLIPS> (ppdefmethod bar 1)
(defmethod MAIN::bar
   ())
CLIPS> (ppdefclass SNAFU)
(defclass MAIN::SNAFU
   (is-a USER)
   (role concrete))
CLIPS> (ppdefinstances foo)
(definstances MAIN::foo
   (x of SNAFU))
CLIPS> (ppdefmessage-handler SNAFU fubar)
(defmessage-handler MAIN::SNAFU fubar
   ())
CLIPS> (conserve-mem on)
CLIPS> (defrule foo =>)
CLIPS> (deftemplate foo)
CLIPS> (deffacts foo)
CLIPS> (defglobal ?*foo* = foo)
CLIPS> (deffunction foo ())
CLIPS> (defgeneric bar)
CLIPS> (defmethod bar ())
CLIPS> (undefinstances foo)
CLIPS> (defclass SNAFU (is-a USER) (role concrete))
CLIPS> (definstances foo (x of SNAFU))
CLIPS> (defmessage-handler SNAFU fubar ())
CLIPS> (ppdefrule foo)
CLIPS> (ppdeftemplate foo)
CLIPS> (ppdefglobal foo)
CLIPS> (ppdeffunction foo)
CLIPS> (ppdefgeneric bar)
CLIPS> (ppdefmethod bar 1)
CLIPS> (ppdefclass SNAFU)
CLIPS> (ppdefinstances foo)
CLIPS> (ppdefmessage-handler SNAFU fubar)
CLIPS> (conserve-mem off)
CLIPS> (dribble-off)