removed handling of db(_):- clauses