PARALLEL LOGIC PROGRAMMING SYSTEMS ON MULTICOMPUTERS