Prolog est un langage informatique né à Marseille, sur le campus de Luminy, des recherches du Professeur Alain Colmerauer et de son équipe.

Le projet japonais de cinquième génération d'ordinateurs lui a donné un rayonnement mondial dans le dernier quart de siècle.

De Prolog I à Prolog IV, les langages issus du Groupe d'Intelligence Artificielle à l'Université puis développés par la société PrologIA ont tous été pionniers. Ils ont marqué la naissance de la programmation en logique et de la programmation par contraintes.

---