Uncertain facts and inexact rules can be represented andprocessed in standard Prolog through meta-interpretation. Thisrequires the specification of appropriate parsers and beliefcalculi. We present a meta-interpreter that takes a rule-basedbelief calculus as an external variable. The...