Learn More
The functional or applicative languages have long been regarded as suitable vehicles for overcoming many of the problems involved in the production and maintenance of correct and reliable software. However, their inherent inefficiences when run on conventional von Neumann style machines have prevented their widespread acceptance. With the declining cost of(More)
In this paper, two programs are described (CBS1e and CBS2e). These are implemented in the parallel constraint logic programming language ElipSys. These predict protein alpha/beta-sheet and beta-sheet topologies from secondary structure assignments and topological folding rules (constraints). These programs illustrate how recent developments in logic(More)