Constraint Logic Programming; Bioinformatics

Protein Folding in CLP(FD) with Empirical Contact Energies

We present a declarative implementation in Constraint Logic Programming of the Protein Folding Problem, for models based on Face-Centered Cubes. Constraints are either used to encode the problem as a minimization problem or to prune the search space. …

Using Secondary Structure Information for Protein Folding in CLP(FD)

The protein folding problem is the problem of predicting the 3D structure of a protein when the linear sequence of aminoacids identifying it is known. In this paper we present a declarative implementation in Constrain & Generate style in CLP(ℱFD) of …