Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities