fix retractall & db_retractall & unify clauses