Un predicado es un tipo de relación entre un sujeto y un objeto.

El predicado especifica la acción que se lleva a cabo en la sentencia, seguida por algunos elementos adicionales. Se pueden usar varios tipos de predicados para construir sentencias en lenguaje natural, tales como cambios de estado, acciones, propiedades y relaciones. Los predicados también se pueden usar en lenguajes formales para describir la relación entre un sujeto y el objeto. Un predicado es una declaración que se utiliza para describir acerca de algo o de alguien. Esta declaración tiene la forma a+B o se+verbo, donde a es un sujeto y B es el predicado.

El predicado indica la manera en que el sujeto está relacionado con el objeto.

Por ejemplo, en la frase `John compró una película`, `compró` es el predicado, John es el sujeto y `una película` es el objeto.

Esto significa que John realizó una acción, comprar.

Un predicado simple consiste en un verbo que describe la acción y se acompaña de un número determinado de objetos. En la frase `Juan come una hamburguesa`, `come` es el predicado simple que se acompaña de dos objetos: Juan y la hamburguesa. Por otro lado, un predicado compuesto está formado por dos o más predicados simples que se relacionan entre sí. Por ejemplo, `Juan llega temprano y encuentra a su compañero de cuarto` contiene dos predicados simples: `llega` y `encuentra`. El uso de predicados permite expresar relaciones y conceptos complejos y jerarquizarlos de manera eficiente y clara. Por ejemplo, si suficientes predicados están relacionados correctamente, una máquina puede ser capaz de identificar patrones complejos y llegar a conclusiones con un alto grado de precisión. Pueden ser simples o compuestos y se utilizan en lenguajes naturales y formales para construir lógicamente sentencias y conceptos. Los predicados tienen múltiples aplicaciones en la programación informática y el lenguaje de programación lógica, puesto que son una herramienta útil para estructurar la información de manera lógica.