Estructura de un programa Prolog

Prolog cuenta con dos tipos de estructuras: términos y sentencias. Los términos pueden ser constantes, variables o funciones:

• Las constantes, representadas por una cadena de caracteres, pueden ser números o cualquier cadena que comience en minúscula. 
• Las variables son cadenas que comienzan con una letra mayúscula. 
• Las funciones son identificadoras que empiezan con minúscula, seguidos de una lista de parámetros (términos) entre paréntesis, separados por comas.

Las sentencias son reglas o cláusulas. Hay hechos, reglas con cabeza y cola, y consultas.

• Un hecho establece una relación entre objetos, y es la forma más objetos, y es la forma más sencilla de sentencia. 
• Una regla permite definir nuevas relaciones a partir de otras ya existentes.

Operadores

MATEMATICOS + Suma - Resta * Multiplicación / División (retorna siempre en punto flotante) // División entera (trunca) mod Resto de división ** Potenciación

RELACIONALES > Mayor que < Menor que >= Mayor o igual que =< Menor o igual que =:= Aritméticamente igual =\= Aritméticamente diferente