Sintaxis y Significado de los Programas

Prolog reconoce el tipo de un objeto por su sintaxis.

Al igual que en Lógica de Primer Orden, los términos en Prolog se clasifican en tres categorías  constantes, variables y términos compuestos.

Constantes

Prolog distingue dos tipos de constantes:

Números. Este tipo de constantes se utilizan para representar tanto números  enteros como

números  reales y poder realizar con ellos operaciones aritméticas.

- La representación mas corriente de los números  enteros es la notación decimal habitual

(por ejemplo 0, 1, -320, 539, etc) aunque también se pueden representar en otras

bases no decimales.

- Los números  reales se pueden representar tanto en notación decimal (por ejemplo

1.0, -3.14) como en notación exponencial (por ejemplo 4.5E6, -0.12e+3, 12.0e-2). En ambos casos deberá haber siempre por lo menos un dígito a cada lado del punto.

Átomos. Los átomos (no confundir con las formulas atómicas de la LPO) se utilizan para

dar nombre a objetos especificos, es decir, representan individuos concretos. Existen tres

clases principales de atomos:

- cadenas formadas por letras, digitos y el simbolo de subrayado, que deben empezar necesariamente por una letra minuscula.

Cadenas validas: f, pepe1, libro33a, libro_blanco.

Cadenas no validas: 1libro, libro-blanco, _hola, Libro.

- cualquier cadena de caracteres encerrada entre comillas simples.
Ejemplos: 'Juan' 'Pepe_Hernandez' 'Carlos Hernández Lopez'.

Estos átomos son útiles cuando se necesita trabajar con constantes que empiecen por una letra mayúscula  o por un dígito.

- existe además otro tipo de átomos, compuestos por combinaciones especiales de signos, de uso menos común.