Prolog
Prolog est un langage de programation logique conçu pour l’intelligence artificielle et l’informatique linguistique.
Prolog a ses racines dans la logique du premier ordre, une logique formelle, et contrairement à de nombreux autres langages de programmation, Prolog est conçu principalement comme un langage de programmation déclaratif : la logique du programme est exprimée en termes de relations, représentées par des faits et des règles. Un calcul est initié en lançant une requête sur ces relations.
La langue a été conçue pour la première fois par Alain Colmerauer et son groupe à Marseille en France au début des années 1970 et le premier système Prolog a été développé en 1972 par Colmerauer avec Philippe Roussel.
Prolog a été l’un des premiers langages de programmation logique, et reste le plus populaire parmi ces langues aujourd'hui, avec sever implémentations libres et al commerciales disponibles. Le langage a été utilisé pour la démonstration de théorèmes, les systèmes experts, la réécriture de termes, les systèmes de types, et la planification automatisée, ainsi que pour son domaine d'utilisation d'origine, le traitement du langage naturel. Les environnements Prolog modernes prennent en charge la création d’interfaces utilisateur graphiques, ainsi que d'applications administratives et en réseau.
Prolog est bien adapté pour des tâches spécifiques qui bénéficient de requêtes logiques basées sur des règles telles que la recherche dans des bases de données, les systèmes de commande vocale et le remplissage de templates.
