A Declarative Semantics of Parallel Logic Programs with Perpetual Processes