<database> A combination of a conventional database containing facts, a
knowledge base containing rules, and an inference engine which allows the
derivation of information implied by the facts and rules.
Commonly, the knowledge base is expressed in a subset of first-order logic and
either a SLDNF or Datalog inference engine is used.
DECwrite « DED « dedicated line « deductive
» deductive tableau » Deep Blue » deep hack mode