En 1972 également apparaît PROLOG (PROgrammation en LOGique).
PROLOG est conçu par le français Philippe Roussel de l'université de Marseille. Il représente un style de
programmation absolument nouveau.
Etudié surtout pour les applications l'intelligence artificielle, il s'appuie sur la notion d'objets et de programmation déclarative.