EXPERT SYSTEM TERMINOLOGY

rule base
assertion
formula
working memory
antecedent
consequent
to satisfy
to trigger/fire
to match/unify
to instantiate
a binding
a bound/unbound variable
to bind a variable to a value