Deductive databases and logic programming, abduction in deductive databases and knowledge based systemsHendrik DeckerEsaurito4,3Avvisami