A Logic-based Approach to Peptide Sequencing