Operational Semantics for DyLPs