Le Prolog (PROgrammation en LOGique) est un des meilleurs langages de Programmation Logique avec Contraintes (PLC). Il ne lui manquait plus qu’un compilateur libre, c’est maintenant chose faite avec GNU Prolog développé par Daniel Diaz de l’INRIA (Institut National de Recherche en Informatique et en Automatique).

Le Prolog est un langage "déclaratif", contrairement à la plupart des langages comme le C dits "procéduraux".

Il est utilisé dans des domaines comme :

• analyse de langages (informatiques ou naturels)
• mathématique
• bases de données
• Intelligence Artificielle
• ...

Mais cette liste n’est pas exaustive.

Je ne vais pas rentrer ici dans le détail de la syntaxe de ce langage, j’en serais d’ailleurs incapable et il existe de très bon cours en français sur Internet à ce sujet (Google est votre ami !).

Parlons plutôt de ce compilateur, GNU Prolog. Il existe sur presque toutes les plate-formes (Linux / Mac / Solaris / Windows...), est léger, rapide bref parfait ? Non pas tout à fait en fait, son seul défaut est que bien que réalisé par l’INRIA il n’existe qu’en anglais, ainsi que son site officiel.

A part ça je le conseille à tous ceux qui désirent un outil performant (et libre bien sûr) pour faire de la PLC !