Prolog est un langage de programmation de type déclaratif qui fait appel à la logique mathématique et à ses mécanismes d'inférence pour représenter et utiliser les connaissances sur un domaine.
Son nom est la contraction de « Programmation en Logique ».
Son modèle théorique est la SL-résolution.

A lire absolument ! Deux récits autobiographiques sur la génèse du langage et de la programmation en logique comme discipline :

• The early history of Logic Programming (en anglais)
  par Robert Kowalski (CACM, vol.31:1, 1988).
• La naissance de Prolog
  par Alain Colmerauer et Philippe Roussel (à l'occasion des 20 ans de Prolog, en 1992).

---