An extension of first-order logic that incorporates predicates with multiple arguments. This allows for the representation of complex relationships between…