### 3.3.2.3. Searching from a first order logic perspective

The keyword logic provides the list of constraints that are described within the catalogue in term of a first order logic formula where predicates are replaced by arithmetic constraints.