First-Order Predicate Logic. Encyclopedia of Machine Learning 2010: 415