Conclusion :

Tout d’abord insistons sur le fait que PROLOG est un langage de programmation à part

entière, tout comme le C, Java, Caml, Scheme… Cependant, il se distingue de ces derniers par son

mode de programmation. Il s’agit en effet d’un langage déclaratif, de haut niveau, interactif et

particulièrement performant pour résoudre tous les problèmes ayant une relation avec la logique :

systèmes experts, langage naturel, aide à la décision, représentation de connaissances...

Comme nous l’avons vu, PROLOG est étonnamment puissant puisqu’il suffit bien souvent de

très peu de lignes de code pour mettre en place des programmes intéressants. Il est capable à partir

de quelques faits et règles, décrits d’une façon très mathématique, d’établir une stratégie de réflexion

pour répondre aux requêtes de l’utilisateur. Pourtant, il n’est pas non plus exempt de tout défaut.

Ainsi, cette prétendue stratégie se ramène souvent à une simple énumération des cas possibles. De

plus, il lui arrive assez fréquemment de se perdre dans des boucles infinies.