'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes