Antecedentes

El $1^{\underline{er}}$ uso de la lógica como lenguaje de programación es una secuela del algoritmo de unificación de Robinson y su principio de resolución ('65)

Kowalski: formula la interpretación procedural de lógica en clásulas de Horn ('72).

Colmerauer y su grupo en Marseille-Aix desarrollan un probador de teoremas experimental escrito en Fortran para procesamiento de lenguaje natural: Prolog (``programmation en logique'') ('73).

van Edman y Kowalski desarrollan la parte semántica formal.

Poca aceptación en EUA después de intentos parecidos y fracasos con Micro-Planeer y Conniver (ineficientes, difíciles de controlar).

Mediados de los 70's: D. Warren hace un compilador (Prolog-10) eficiente (con la mayor parte escrito en Prolog!).

Alrededor de 1980 todavía pocos ($\approx$ 100) programaban en Prolog.

Japón anuncia su Proyecto de la Quinta Generación con la programación lógica como parte medular ('81).

Notación ``estandar'': la de Edimburgo.

Idea general (idealizada): en lugar de programar, describir lo que es verdadero.