Constraint Logic Programming approach to protein structure prediction.