Apéndice A
Prolog
Tras una introducción a la programación lógica, en los tres primeros Apartados de
este Apéndice describiremos las características funcionales (sintaxis y ejemplos de
programas) y procesales (implementación sobre un procesador convencional) de
«Prolog puro»
(sin otros elementos que los basados en la lógica). En el Apartado A.4 entraremos en
algunos aspectos procedimentales, y en el Apartado A.5 veremos que el modelo
funcional en que se basa Prolog es un subconjunto del lenguaje de la lógica de
predicados.
Lo que se presenta aquí es una descripción resumida, no un curso de programación
en Prolog. Se pretende que el lector capte las ideas básicas que le facilitarían,
eventualmente, profundizar en la programación lógica con ayuda de textos
más especializados, pero, sobre todo, tiene el objetivo de introducir, con un
ejemplo práctico, el uso de la lógica como lenguaje para la representación del
conocimiento.