Pošljite SMS: From Computational Logic to Computational Biology