Meta-Level Control for Deductive Database Systems

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.