1. 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.