A Tractable First-Order Probabilistic Logic