This monograph presents an expert deductive database system that allows
explicit control of the deduction process. The system consists of an
object-level describing the logical aspects of a problem and of a
meta-level that contains control information affecting the deduction
process.