Multi-core and highly connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming …
Set constraints have been introduced in declarative programming languages in the Nineties as a consequence of a broader research on programming with sets and on computable set theory. General Purpose Graphics Processing Units (GPUs), originally …
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices - a biologically meaningful approximation of the general protein folding problem. The paper improves the results presented in [15] and …