Convenciones para escribir predicados

Los predicados se escriben en la forma de cláusulas.

Las cláusulas pueden constar de una cabeza solamente a la cual se la 
denomina "hecho" o "aserción".

Las cláusulas pueden constar de una cabeza y una cola: en ese caso se 
las llama "reglas".

Un predicado está definido por su nombre y su aridad.  El nombre es un
símbolo.  La aridad es la cantidad de argumentos que tiene el predicado. 
Por ejemplo, si factorial es un predicado cuyo nombre es "fac" y toma
dos argumentos, se lo denotará como fac/2.

Los símbolos se escriben en minúsculas y no tienen espacios. En algunos
Prolog pueden ponerse entre comillas cuando llevan espacios internos.  
Ejemplos de símbolos: hola, write.

Cuando se escriba un predicado, se le antepondrá un comentario que 
explique su funcionalidad y la clase de argumentos que toma.

Los argumentos pueden ser:

  + indica que el argumento es de entrada, o sea que siempre debe estar 
    instanciado al momento de la llamada.

  ? indica que el argumento puede estar instanciado o puede ser una 
    variable, con lo cual puede jugar el rol de argumento de entrada
    (cuando está instanciado) o de salida de resultados (cuando está
    ligado a una variable).

Por ejemplo un comentario podría ser:

 /*     subsec(+lista_flotantes, ?lista_flotantes) */

Note que se eligieron los nombres de los argumentos de tal manera de 
hacer más explícito qué es lo que se espera en cada caso.  Note además 
la convención de los símbolos + y ?.


EOF