A DISTRIBUTED IMPLEMENTATION OF AND-PARALLEL CONCURRENT PROLOG