ATabase> 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. (1995-04-27)