THE FAMILY OF CONCURRENT LOGIC PROGRAMMING LANGUAGES