Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling