Minker J.  1995.  Deductive Databases and Knowledge Base Systems..