| Fiche technique | |
|---|---|
| Type de produit : | Langage de programmation |
| Auteur : | Alain Colmerauer, Philippe Roussel |
| Date de publication : | 1972 |
Introduction
Le langage de programmation Prolog est langage de programmation proposant d'exposer un problème à l'ordinateur plutôt que de schématiser la réponse. Et il s'agit donc, d'un langage de programmation recherchant à l'aide différents algorithmes en interne du langage la meilleure réponse possibles afin de solutionner la problème le plus rapidement possible. Dans ce fait, on parle d'un langage de programmation naturel exploitant l'intelligence artificielle (IA) et il a de forte capacité en linguistique.
La première version officielle de Prolog a été développée à l'Université de Marseille, en France, par Alain Colmerauer au début des années 1970, en tant qu'outil pratique pour la programmation en mode logique. Il est beaucoup plus puissant et efficace que la plupart des autres langages de programmation connus tels que Pascal, C et BASIC. Par exemple, un programme pour une application donnée nécessite généralement 10 fois moins de lignes de programme avec Prolog qu'avec Pascal. Aujourd'hui, Prolog est un outil très important dans la programmation d'applications d'intelligence artificielle et dans le développement de systèmes experts. Plusieurs coquilles de systèmes experts bien connues sont écrites dans Prolog, notamment APES, ESP/Advisor et Xi. La demande pour des programmes plus conviviaux et intelligents est une autre raison de la popularité croissante de Prolog. Contrairement à C et Pascal, par exemple, un programme Prolog donne à l'ordinateur une description du problème en utilisant un certain nombre de faits et de règles, puis lui demande de trouver toutes les solutions possibles au problème. En C et Pascal, il faut dire à l'ordinateur exactement comment exécuter ses tâches. Mais une fois que le programmeur Prolog a décrit ce qui doit être calculé, le système Prolog lui-même organise la manière dont ce calcul est effectué. En raison de cette approche déclarative (plutôt que procédurale), les sources d'erreur connues en C et Pascal et en BASIC, telles que les boucles effectuant trop d'opération ou trop peu d'opération, sont éliminées dès le départ. De plus, le Prolog enseigne au programmeur à décrire le problème de manière bien structurée, afin que, avec la pratique, Prolog puisse également être utilisé comme outil de spécification. Bien que Prolog facilite beaucoup la programmation, il peut également être très contraignant pour l'ordinateur.
Liste des marques connus
Voici la liste de marques connus de langage de programmation Prolog :
| Nom | Description |
|---|---|
| Amzi! Prolog | Cette marque offre la possibilité d'être redistribuable. |
| GNU Prolog (gprolog) | Cette version GNU est développé par l'université de Paris 1 (Panthéon-Sorbonne) sous licence GPL et LGPL. |
| Rebol Prolog | Cette programme écrit en langage de programmation Rebol permet d'écrire des programmes Prolog. |
| Turbo Prolog | Cette marque est proposé par Borland pour le système d'exploitation DOS. |
| Visual Prolog | Cette marque est la version reprise de Turbo Prolog racheter l'entreprise danoise PDC. |
Remarques
- Lenteur : Lorsqu'un programme Prolog est lent, le problème est généralement dû au fait que le programme ne peut pas se terminer.
- En 1982, le Prolog II fut proposé, en 1989, le Prolog III fut proposé, en 1996, le Prolog IV fut proposé par les mêmes auteurs. Ils ont même proposé un manuel entièrement en français pour les 3 versions.
- En 1983, le Japon a publié les plans d'un projet national ambitieux concernant la conception et la production d'ordinateurs de cinquième génération, pour lequel Prolog a été choisi comme langage système fondamental (correspondant à l'utilisation du langage d'assemblage dans les architectures actuelles).
- Le langage de programmation Prolog permet de plus facilement traduire des langues, soit des langues humaines naturelles (Langage de programmation - Concept - Traducteur humain), soit d'un langage de programmation à un autre.
- Le langage de programmation Prolog a comme principale concurrent le langage de programmation Lisp de John McCarthy.