A Probabilistic Prolog and its Applications door