(database)A combination of a conventional databasecontaining facts, a knowledge base containing rules, andan inference engine which allows the derivation ofinformation implied by the facts and rules.
Commonly, the knowledge base is expressed in a subset offirst-order logic and either a SLDNF or Dataloginference engine is used.