Coral - A Deductive Database System
