Template Programs for Disjunctive Logic Programming: An Operational Semantics