This is an old revision of the document!
There is two inference algorithms implemented in Proline.
Explain Inference principles, explain PeptideSet, sameset, strict subset, subsumable PeptideSet, etc