I think the most popular MLN implementation is Alchemy which is all in Java. I'm pretty sure it does "lazy grounding" of atoms and it seems from the user guide that they've spent a lot of time trying to make their stuff easily usable. I'd give that a shot first.