Free On-line Dictionary of Computing:
A combination of a conventional
containing facts, a
containing rules, and
which allows the derivation of
implied by the facts and rules.
Commonly, the knowledge base is expressed in a subset of
and either a SLDNF or Datalog
inference engine is used.