Uses of Package
mln

Packages that use mln
grounding Provides facilities for grounding MLNs, including KBMC, SQL-based grounding, and MRF partitioning. 
infer Provides MLN inference algorithms. 
mln This package builds the data structure of MLN. 
parser Provides parsers for MLN input, config files, and command line options. 
 

Classes in mln used by grounding
MarkovLogicNetwork
          An MLN.
 

Classes in mln used by infer
Clause
          A first-order logic clause, namely a disjunct of literals.
GAtom
          A ground atom.
GClause
          A ground clause.
MarkovLogicNetwork
          An MLN.
 

Classes in mln used by mln
Atom
          An atomic formula.
Atom.AtomType
          Enumerated type of Atoms.
Clause
          A first-order logic clause, namely a disjunct of literals.
ConjunctiveQuery
          A conjunctive query.
Expression
          An expression to a function is like a literal to a predicate.
Function
          Bool, numberic, and string functions; user-defined functions.
GAtom
          A ground atom.
GClause
          A ground clause.
Literal
          A literal in first-order logic.
MarkovLogicNetwork
          An MLN.
Predicate
          Predicate in First Order Logic.
Term
          A term in first-order logic; either a variable or a constant.
Tuple
          A tuple of constants/variables, represented as a transparent list of integers.
Type
          A domain/type of constants; i.e., a subset of constants.
 

Classes in mln used by parser
AtomEx
          STILL IN DEVELOPMENT.
Clause
          A first-order logic clause, namely a disjunct of literals.
ConjunctiveQuery
          A conjunctive query.
Expression
          An expression to a function is like a literal to a predicate.
Literal
          A literal in first-order logic.
MarkovLogicNetwork
          An MLN.
Term
          A term in first-order logic; either a variable or a constant.