Protein Structure Prediction and Analysis with Constraint Logic Programming