In a rule or a query, a filter is a construct that restricts satisfying assignments of variables to those for which a given expression evaluates to true.