Complexity Results for Answer Set Programming with Bounded Predicate Arities and Implications