Logic Programming; Constraint Programming; Bioinformatics

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 …