Text this: Foundations of Disjunctive Logic Programming