It seems Markov Logic nets can scale to really big problems: * https://code.google.com/p/rockit/ https://code.google.com/p/rockit/ * http://i.stanford.edu/haz

It seems Markov Logic nets can scale to really big problems: * https://code.google.com/p/rockit/ https://code.google.com/p/rockit/ * http://i.stanford.edu/hazy/hazy/tuffy/ http://i.stanford.edu/hazy/hazy/tuffy/ But they seem to be getting less and less coverage in probabilistic programming. Perhaps they are considered too inexpressive?