Probabilistic (logic) programming concepts
Logic in computer science: modelling and reasoning about systems