A declarative concurrent system for protein structure prediction on GPU