First-Order Mixed Integer Linear Programming
IBAL: A Probabilistic Rational Programming Language