El primer lenguaje utilizado a tal efecto fue Prolog.
Desarrollado en la década de 1970, Prolog se convirtió en un estándar para la programación lógica y se utilizó ampliamente en la investigación y el desarrollo de sistemas expertos.