Parallel Logic Programming using the Linda Model of Computation