bigbug.tst

来自「NASA 开发使用的一个专家系统」· TST 代码 · 共 24 行

(set-strategy depth)
(unwatch all)
; bigbug4.bat test
(open "bigbug.rsl" bigbug "w")
(dribble-on "bigbug.out")
(clear)
(release-mem)
(mem-used)
(load-facts bigbug.dat)
(clear)
(release-mem)
(mem-used)
(load bigbug.clp)
(reset)
(clear)
(release-mem)
(mem-used)
(dribble-off)
(load "compline.clp")
(printout bigbug "bigbug.bat differences are as follows:" crlf)
(compare-files bigbug.exp bigbug.out bigbug)
; close result file
(close bigbug)