Prolog

(Français : PROgrammation en LOGique)
Langage informatique créé en 1973 par le français Alain Colmerauer au sein de l’Université de Marseille, il est bien adapté à la simulation du raisonnement logique sur ordinateur, il permet de ne décrire que le problème à résoudre et non l’algorithme de la solution.