My implementation of Markov Logic with inductive learning for my master's thesis.