Automatic Verification of Parallel Logic Programs: Termination