Deductive databases and logic programming, abduction in deductive databases and knowledge based systemsHendrik DeckerÉpuiséPrévenez-moi