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

In this paper, we summarize the contribution of our research group to the field of Bioinformatics. In particular, we present our approach to the ab-initio solution of the protein structure prediction problem based on constraint/logic programming techniques.