Which of the following is NOT a feature of object-oriented programming?

Object-oriented programming (OOP) is defined by several key features, including encapsulation, inheritance, and polymorphism. Each of these features supports a specific goal within OOP, such as bundling data and methods (encapsulation), sharing properties and methods across classes (inheritance), and allowing objects to be treated as instances of their parent class (polymorphism).

Logic predicates, on the other hand, do not align with the fundamental principles of OOP. Instead, they are more closely associated with logic programming or functional programming paradigms, which emphasize the use of functions and logical expressions. They focus on how to express computations in a declarative manner rather than through the interaction of objects.

Therefore, the choice highlighting logic predicates correctly identifies a concept that does not belong to the core features defining object-oriented programming, distinguishing it from encapsulation, inheritance, and polymorphism, which are integral to OOP design and methodology.