Predicados

Se utilizan para expresar propiedades de los objetos, predicados monádicos, y relaciones entre ellos, predicados poliádicos. En Prolog los llamaremos hechos.

Debemos tener en cuenta que:        

  • Los nombres de todos los objetos y relaciones deben comenzar con una letra minúscula.
  • Primero se escribe la relación o propiedad: predicado
  • Los objetos se escriben separándolos mediante comas y encerrados entre paréntesis: argumentos.
  • Al final del hecho debe ir un punto (".").

                               simbolo_de_predicado(arg1,arg2,...,argn).