output

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

TRUE
CLIPS> (reset)
CLIPS> (run)
 memory used is:   91447
  value of integrand is   
DIVIDE  square-sec
   (PLUS { "1" square-sec { TIMES { MINUS "3" } tan })
argument value is now:   (DIVIDE)square-secsquare-sec(PLUS { "1" square-sec { TIMES { MINUS "3" } tan })
made it to here  ({ TIMES { MINUS "3" } tan })
execute simplify  value:  (DIVIDE "1" !)PLUS2(square-xxx { TIMES { MINUS "3" } xxx })
value of integral is   
   value is   (ln DIVIDE { MINUS uuu 1 ! "2" }{PLUS uuu 1 ! "2" })
   value is   (ln DIVIDE { MINUS arctan_v 1 ! "2" }{PLUS uuu 1 ! "2" })
   value is   (ln DIVIDE { MINUS arctan_v 1 ! "2" }{PLUS arctan_v 1 ! "2" })
FALSE
  value of integrand is   
RECIP  MINUS
   (square-uuu "1" ! "4")
CLIPS> (exit)