Markov Logic Learning Algorithm