Interactive First-Order Probabilistic Logic