Text this: Meta-level control for deductive database systems /