"Meta-Level Control for Deductive Database Systems " - читать интересную книгу автора (Helmut Schmidt)