Logical Operational Semantics of Parlog. Part I: And-Parallelism