CONSTRAINT LOGIC PROGRAMMING APPROACH TO PROTEIN STRUCTURE PREDICTION