dyobjcst.tst

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

(unwatch all)
(clear)
(set-dynamic-constraint-checking TRUE)
(dribble-on "dyobjcst.out")
(batch "dyobjcst.bat")
(dribble-off)
(set-dynamic-constraint-checking FALSE)
(clear)
(open "dyobjcst.rsl" dyobjcst "w")
(load "compline.clp")
(printout dyobjcst "dyobjcst.bat differences are as follows:" crlf)
(compare-files dyobjcst.exp dyobjcst.out dyobjcst)
(close dyobjcst)