Title: From Computational Logic to Computational Biology