Inductive Coherence
PRISM: A Language for Symbolic-Statistical Modeling