example.tst

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

(set-sequence-operator-recognition FALSE)
(set-dynamic-constraint-checking FALSE)
(set-strategy depth)
(unwatch all)
(watch rules)
; mab.clp test
(clear)
(open "example.rsl" example "w")
(load "compline.clp")
(load "mab.clp")
(reset)
(progn (dribble-on "mab.out") (run) (dribble-off))
(printout example "mab.clp differences are as follows:" crlf)
(compare-files mab.exp mab.out example)
; dilemma1.clp test
(clear)
(load "compline.clp")
(load "dilemma1.clp")
(reset)
(progn (dribble-on "dilemma1.out") (run) (dribble-off))
(printout example "dilemma1.clp differences are as follows:" crlf)
(compare-files dilemma1.exp dilemma1.out example)
; dilemma2.clp test
(clear)
(load "compline.clp")
(load "dilemma2.clp")
(reset)
(watch deffunctions)
(progn (dribble-on "dilemma2.out") (run) (dribble-off))
(unwatch deffunctions)
(printout example "dilemma2.clp differences are as follows:" crlf)
(compare-files dilemma2.exp dilemma2.out example)
; wordgame.clp test
(clear)
(load "compline.clp")
(load "wordgame.clp")
(reset)
(progn (dribble-on "wordgame.out") (run) (dribble-off))
(printout example "wordgame.clp differences are as follows:" crlf)
(compare-files wordgame.exp wordgame.out example)
; zebra.clp test
(clear)
(load "compline.clp")
(load "zebra.clp")
(reset)
(progn (dribble-on "zebra.out") (run) (dribble-off))
(printout example "zebra.clp differences are as follows:" crlf)
(compare-files zebra.exp zebra.out example)
; electronic.clp test
(clear)
(set-strategy mea)
(load "compline.clp")
(load "electrnc.clp")
(load "circuit3.clp")
(reset)
(progn (dribble-on "electrnc.out") (run) (dribble-off))
(printout example "electronic.clp differences are as follows:" crlf)
(compare-files electrnc.exp electrnc.out example)
; object monkeys & bananas test
(set-strategy depth)
(watch rules)
(clear)
(setgen 1)
(load "compline.clp")
(load "mabobj.clp")
(reset)
(progn (dribble-on "mabobj.out") (run) (dribble-off))
(printout example "mabobj.clp differences are as follows:" crlf)
(compare-files mabobj.exp mabobj.out example)
; object farmer's dilemma example
(clear)
(setgen 1)
(load "compline.clp")
(load "objfarm.clp")
(reset)
(progn (dribble-on "objfarm.out") (run) (dribble-off))
(printout example "objfarm.clp differences are as follows:" crlf)
(compare-files objfarm.exp objfarm.out example)
; object wordgame example
(clear)
(setgen 1)
(load "compline.clp")
(load "wrdgmobj.clp")
(reset)
(progn (dribble-on "wrdgmobj.out") (run) (dribble-off))
(printout example "wrdgmobj.clp differences are as follows:" crlf)
(compare-files wrdgmobj.exp wrdgmobj.out example)
; close result file
(unwatch all)
(set-strategy depth)
(close example)