Recent constraint/logic programming based advances in the solution of the protein folding problem