-
Demostración automática de teoremas.
Significa el uso de la computadora para probar resultados no-numéricos, es decir, determinar su verdad (validez). -
Resolución y unificación (Robinson).
Surgió de la motivación por crear programas de computadora que emularan las habilidades humanas de razonamiento. Se quiso usar de manera sistemática el trabajo ya desarrollado de los hombre en los lógicos. Se crearon los demostradores automatizados de teoremas. Uno de los que han tenido más influencia es el método de resolución introducido por Robinson en 1965 que consta de una sola regla de inferencia, fácil de implementar por una computadora. -
Implementación de Prolog (Colmerauer).
Se trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia) por los estudiantes Alain Colmerauer y Philippe Roussel. Nació de un proyecto que no tenía como objetivo la traducción de un lenguaje de programación, sino la clasificación algorítmica de lenguajes naturales. Inicialmente se trataba de un lenguaje totalmente interpretado, pero gracias a Warren Prolog se convirtio en un lenguaje semi-interpretado. -
Programación lógica (Kowalski).
Kowalski expuso por primera vez de manera clara la idea de la programación lógica.Esta implica un estilo de programación radicalmente distinto al de la programación tradicional (procedimental, o imperativa). No existen sentencias de bucle ("repeat" , "while" , "for" ), ni sentencias "if...then..." ni «case» , ni siquiera sentencias de asignación. -
Prolog de Edimburgo (Warren).
Es un estándar de la sintaxis que maneja el lenguaje de programación Prolog Propuesto por la universidad de Edimburgo. -
Proyecto japonés de Quinta Generación.
Fue un proyecto hecho por Japón que comenzó en 1982. Su objetivo era el desarrollo de una nueva clase de computadoras que utilizarían técnicas y tecnologías de inteligencia artificial tanto en el plano del hardware como del software, usando el lenguaje PROLOG al nivel del lenguaje de máquina y serían capaces de resolver problemas complejos, como la traducción automática de una lengua natural a otra. -
Programación lógica con restricciones.
La variante más importante del lenguaje Prolog que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis. Tiene características tales como las variables lógicas (una vez que una variable es asignada a un valor, no puede ser cambiado), o el backtracking (Solución a problemas que satisfacen restricciones). -
Estándar ISO de Prolog
Las primeras versiones del lenguaje diferían, en sus diferentes implementaciones, en muchos aspectos de sus sintaxis, empleándose mayormente como forma normalizada el dialecto propuesto por la Universidad de Edimburgo , hasta que en 1995 se estableció un estándar ISO (ISO/IEC 13211-1), llamado ISO-Prolog.