A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment