Design and implement approximate inference algorithm for P-log

[iensen]

Refine the inference algorithm from the dissertation INVESTIGATING AND EXTENDING P-LOG to be based on Monte Carlo Sampling. Check if it is possible to define error bounds.