tuffy.mln
Classes 
Atom
Clause
Literal
MarkovLogicNetwork
Predicate
Term
Tuple
Type
Enums 
Atom.AtomType