P-log: probabilistic reasoning with a knowledge representation language allowing representation of commonsense knowledge involving logic and probabilities