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