Moreover, implementations of learning and inference methods are already provided in existing Markov Logic interpreters such as Alchemy 2 and Markov thebeast.
3 we can focus our effort on building a set of formulae called Markov Logic Network (MLN).