mathfnx.tst

来自「一套美国国家宇航局人工智能中心NASA的专家系统工具源代码」· TST 代码 · 共 13 行

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