A constraint logic programming approach to 3D structure determination of large protein complexes