Markov logic network is a fundamental framework for probabilistic logic. It is readily implemented in some software package like Alchemy or ProbCog. However, the computational efficiency of MLN is questionable and researchers need to pay special attention (e.g. Beltagy et al., 2014[1]).
From Fahrni (2016)[2]: "Markov Logic has been recently used for various natural language processing tasks such as coreference resolution (Poon & Domingos, 2008; Bo ̈gel & Frank, 2013), sentiment analysis (Zirn et al., 2011) and joint semantic role labeling and word sense disam- biguation (Meza-Ruiz & Riedel, 2009; Che & Liu, 2010)."
References
Wikipedia has an article on: Markov logic network