cnstrsn.clp

NASA 开发使用的一个专家系统

(defrule foo =>)
(defrule bar =>)
(defrule woz =>)
(deffacts foo)
(deffacts bar)
(deffacts woz)
(deftemplate foo (field x))
(deftemplate bar (field x))
(deftemplate woz (field x))
(defglobal ?*foo* = 0)
(defglobal ?*bar* = 0)
(defglobal ?*woz* = 0)
(deffunction foo ())
(deffunction bar ())
(deffunction woz ())
(defgeneric oof)
(defgeneric rab)
(defgeneric zow)
(defmethod oof 50 ((?a INTEGER SYMBOL) (?b (= 1 1)) $?c))
(defmethod oof ())
(defmethod rab ())
(defmethod ziggle ())
(defclass foo (is-a USER)
   (slot x))
(defclass bar (is-a foo)
   (slot x (source composite))
   (slot y))
(defclass woz (is-a bar)
   (slot z))
(defmessage-handler foo foo ())
(defmessage-handler bar bar ())
(defmessage-handler woz woz ())
(definstances foo)
(definstances bar)
(definstances woz)