factscmd.bat

一套美国国家宇航局人工智能中心NASA的专家系统工具源代码

(clear)
(facts)                            ; facts
(assert (a) (b) (c) (d) (e) (f))
(facts)
(facts 1 2 3 4 5)
(facts "a")
(facts 1 a)
(facts 1 2 a)
(facts -1 5 2)
(facts 4 -1 2)
(facts 3 4 -2)
(facts 4 2)
(facts 4)
(facts 2 4)
(facts 1 5 2)
(save-facts)                       ; save-facts and load-facts
(save-facts 10)
(save-facts factscmd.tmp 10)
(save-facts factscmd.tmp)
(clear)
(facts)
(load-facts)
(load-facts 10)
(load-facts factscmd.tmp 10)
(load-facts factscmd.tmp)
(facts)
(clear)                            ; dependencies and dependents
(defrule foo1 (logical (a) (b)) => (assert (e)))
(defrule foo2 (logical (b)) (c) => (assert (e)))
(defrule foo3 (logical (d) (b) (a)) (c) => (assert (e)))
(defrule foo4 (logical (d) (b) (a) (c)) => (assert (e)))
(defrule foo5 (logical (a) (c) (d)) => (assert (e)))
(defrule foo6 (declare (salience -1)) (logical (c) (d)) => (assert (f)))
(defrule foo7 (declare (salience -1)) (logical (a)) (c) => (assert (f)))
(defrule foo8 (declare (salience -1)) (logical (c) (a)) (d) => (assert (f)))
(defrule foo9 (declare (salience -2)) (logical (d) (c) (b)) => (assert (g)))
(assert (a) (b) (c) (d))
(run)
(facts)
(dependencies)
(dependencies a)
(dependencies 9)
(dependencies 4 5)
(dependencies 4)
(dependencies 2)
(dependents)
(dependents a)
(dependents 9)
(dependents 4 5)
(dependents 0)
(dependents 1)
(dependents 2)
(dependents 3)
(dependents 4)
(dependents 5)
(clear)                            ; get-fact-duplication and set-fact-duplication
(assert (a))
(assert (a))
(facts)
(get-fact-duplication)  
(get-fact-duplication TRUE)
(set-fact-duplication)
(set-fact-duplication TRUE FALSE)
(set-fact-duplication 10)
(get-fact-duplication)
(set-fact-duplication TRUE)
(get-fact-duplication)
(clear)
(assert (a))
(assert (a))
(facts)
(set-fact-duplication FALSE)
(get-fact-duplication)
(clear)
(assert (a))
(assert (a))
(facts)
(clear) ;; New 6.0 Stuff
(defmodule A)
(assert (x) (y) (z))
(defmodule B)
(assert (a) (b) (c))
(facts)
(facts A)
(facts B)
(facts *)
(clear)