"Le programmeur qui passe d'un langage classique à  Prolog éprouve à  peu près la même révélation que l'écolier passant de l'arithmétique aux premiers rudiments de l'algèbre.
Il peut désigner les entités dont il cherche les valeurs par des inconnues,
établir un certain nombre de relations entre ces inconnues, et,
sans avoir à  détailler, laisser la machine considérer tous les cas de figure possibles et lui fournir toutes les solutions."

Alain Colmerauer

---