Prolog

Prolog, acronyme de PROgrammation LOGique, est l’un des principaux langages de programmation logique.

Il a été créé par Alain Colmerauer et Philippe Roussel en 1972.

Prolog est utilisé dans de nombreux programmes d’intelligence artificielle et dans le traitement de la linguistique.