DES: A Deductive Database System