Probabilistic First-Order Learning