rfrshagn.tst

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

(set-strategy depth)
(unwatch all)
; rfrshagn.clp test
(clear)
(open "rfrshagn.rsl" rfrshagn "w")
(load "compline.clp")
(load "rfrshagn.clp")
(progn (dribble-on "rfrshagn.out") (testit) (dribble-off))
(printout rfrshagn "rfrshagn.clp differences are as follows:" crlf)
(compare-files rfrshagn.exp rfrshagn.out rfrshagn)
; close result file
(close rfrshagn)