En programación lógica que es un predicado
En programación lógica, uno de los conceptos fundamentales es el de los predicados, que sirven como base para definir reglas y relaciones entre datos. Este tipo de programación se basa en la lógica formal, y a diferencia de la programación…