Template of BBESS Functions

CIS447

 (defun  run ()

; . . .

)

(defun getquery ()

; . . .

)

(defun queryans (query)

; . . .

)

(defun lookinfb (query)

; . . .

)

(defun tryprompting (query)

; . . .

)

(defun askfor (prompt okvals)

; . . .

)

(defun infproc (rules)

; . . .

)

(defun tryrule (rule)

; . . .

)

(defun checkprems (prems)

; . . .

)

(defun checkprem (prem)

; . . .

)

(defun putinfb (avpair)

; . . .

)

;****************

; Special access functions

(defun getval (key alist)

; . . .

)

(defun getrules (atrb)

; . . .

)

(defun gr-aux (atrb rules)

; . . .

)

(defun getprompt (atrb)

; . . .

)

(defun getokvals (atrb)

; . . .

)

(defun premsof (rule)

; . . .

)

(defun atrbof (avpair)

; . . .

)

(defun valof (avpair)

; . . .

)

(defun conclusionof (rule)

; . . .

)

;************

; Utilities

(defun neither (x y)

; . . .

)

;****************************

; Of theoretic interest

; InfProc can be defined iteratively to save stack space

(defun infproc2 (rules)

; . . .

)