prolog

PROLOG
PROLOG es un lenguaje de programación desarrollado bajo las ideas matemática propuestas por Kowalski en la Universidad de Edimburgo y aplicadas prácticamente por Colmerauer en la Universidadde Marsella en los años setenta. Este lenguaje ha tenido gran popularidad en los medios académicos europeos para el desarrollo de prototipos de sistemas inteligentes y ha captado grán interés, entreotras cosas, por haber sido promovido por los japoneses dentro del proyecto que busca desarrollar la "Quinta Generación" de computadores, por su sencillez en cuanto hace al reducido número demecanismos que lo soportan, por el fuerte bagaje matemático relacionado con la lógica y por el renovado enfoque de la programación que promulga.
CARACTERISTICAS
Un lenguaje de gran interés es su reducidonúmero de mecanismos de soporte, entre los que se encuentran el reconocimiento de patrones, la unificación, el reintento ("backtracking"), el manejo de listas y de estructuras de datos flexibles, asícomo la recursividad.
La unificación define un procedimiento para realizar substitución o "instanciación" de parámetros. Este procedimiento se fundamenta en reglas como las isguientes :
- Unaconstante se unifica con la misma constante.
- Una variable se instancia con cualquier constante.
- Dos variables no instanciadas al unificarse, quedan compartidas; es decir, compartirán el mismo valoruna vez que alguna de las dos se instancie con una constante.
El "reintento" (backtracking) permite buscar alternativas para la satisfacción de un objetivo una vez que se llega a la situación en laque no es posible continuar el proceso de inferencia y aún no se ha logrado demostrar lo que se quiere, o no se han obtenido todos los resultados deseados.
El mecanismo provee entonces una nuevasecuencia que aunque probablemente no es tan promisoria como la anterior, lleva al menos a un resultado adecuado. Eso muestra cómo el orden de las cláusulas dentro de un programa puede tener incidencia...