AND Parallel PROLOG with Divided Assertion Set