Prolog est-il toujours utilisé en IA?

Selon Wikipedia ,

Prolog est un langage de programmation logique à usage général associé à l'intelligence artificielle et à la linguistique informatique.

Est-il toujours utilisé pour l'IA?

_{Ceci est basé sur une question sur la version bêta fermée de 2014. L'auteur avait l'UID de 330.}

Se souvenant que l'intelligence artificielle a longtemps été une entreprise académique, Prolog a été l'une des premières langues utilisées dans le cadre de son étude et de sa mise en œuvre. Il a rarement fait son chemin dans de grandes applications commerciales, cela dit, une implémentation commerciale célèbre se trouve à Watson, où prolog est utilisé pour la PNL .

L' Université d'Édimbourg a contribué à la langue et il était parfois appelé «Edinburgh Prolog». Il est toujours utilisé dans les enseignements académiques dans le cadre du cours d'intelligence artificielle.

La raison pour laquelle Prolog est considéré comme puissant en IA est que le langage permet une gestion facile des méthodes récursives et des correspondances de motifs.

Pour citer Adam Lally du Centre de recherche IBM Thomas J. Watson et Paul Fodor de l'Université de Stony Brook :

le langage Prolog est très expressif permettant aux règles récursives de représenter l'accessibilité dans les arbres d'analyse et le fonctionnement de la négation comme échec pour vérifier l'absence de conditions.

Oui, comme mentionné dans d'autres réponses, Prolog est en fait utilisé dans IBM Watson. Prolog ne reçoit pas beaucoup de «battage médiatique» et de «buzz» de nos jours, mais il est absolument toujours utilisé. Comme toujours, il a certains domaines spécifiques où il brille et des techniques spécifiques qui correspondent bien à son utilisation. Plus précisément, des choses comme la programmation logique inductive , la programmation logique par contraintes , réponse Set programmation et quelques PNL applications peuvent impliquer l' utilisation étendue de Prolog.