IBAL: A Probabilistic Rational Programming Language
SPOOK: A System for Probabilistic Object-Oriented Knowledge Representation