Prolog es uno de los lenguajes más utilizados en el mundo de la
Inteligencia Artificial.
Se trata de un lenguaje declarativo en el que se indica al ordenador lo que se quiere hacer, pero no se especifica como.
Este ejemplo trata el problema de las gramáticas, usadas para el reconocimiento del
Lenguaje Natural. Las gramáticas nos permiten por ejemplo reconocer el lenguaje de un compilador para determinar si un código fuente es correcto o no.
La potencia de
Prolog nos permite crear este tipo de aplicaciones con relativa facilidad.
El ejemplo trata de reconocer un conjunto de peticiones de viaje (peticiones.txt) y genera una salida de reservas (reservas.txt)
