Statistical Relational Artificial Intelligence: Logic, Probability, and Computation