A formal language for expressing rules and constraints using predicates, variables, and logical operators.