bigbug.doc

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

;;;************************************************************
;;; BIG FACT AND DEFGLOBAL CHECKING
;;;
;;; This file tests loading an extremely large fact using
;;; load-facts and a large defglobal using the load and
;;; reset command.
;;;
;;; To test, execute the command (batch "bigbug.tst").
;;; When the test is complete, check the file bigbug.rsl
;;; for the results (differences between expected and 
;;; actual output are listed).
;;;************************************************************