A new approach for investigating protein flexibility based on Constraint Logic Programming. The first application in the case of the estrogen receptor