DataLog with Disjunction