inssav.tst

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

(unwatch all)
(clear)
(setgen 1)
(load inssav.clp)
(dribble-on "inssav.out")
(batch "inssav.bat")
(dribble-off)
(clear)
(open "inssav.rsl" inssav "w")
(load "compline.clp")
(printout inssav "inssav.bat differences are as follows:" crlf)
(compare-files inssav.exp inssav.out inssav)
(printout inssav "inssav1 differences are as follows:" crlf)
(compare-files inssav1.exp inssav1.out inssav)
(printout inssav "inssav2 differences are as follows:" crlf)
(compare-files inssav2.exp inssav2.out inssav)
(printout inssav "inssav3 differences are as follows:" crlf)
(compare-files inssav3.exp inssav3.out inssav)
(printout inssav "inssav4 differences are as follows:" crlf)
(compare-files inssav4.exp inssav4.out inssav)
(printout inssav "inssav5 differences are as follows:" crlf)
(compare-files inssav5.exp inssav5.out inssav)
(printout inssav "inssav6 differences are as follows:" crlf)
(compare-files inssav6.exp inssav6.out inssav)
(printout inssav "inssav7 differences are as follows:" crlf)
(compare-files inssav7.exp inssav7.out inssav)
(close inssav)