Interpréteur d'un langage logique.

Abstract

Certaines classes de problèmes difficiles ne pouvant être traitées par des moyens informatiques conventionnels, trouvent aujourd'hui des solutions élégantes et efficaces grâce aux langages de la programmation logique. La principale différence entre les langages de programmation logique, tel que "Prolog", et les langages 'classiques', tel que "Pascal" est que : ces derniers sont de nature impérative, il faut décrire le problème à résoudre selon un algorithme, alors que les langages logiques, sont de nature déclarative, cela veut dire qu'il suffit d'indiquer au système les données du problème à traiter. Ainsi avec cette nouvelle vision, on peut résoudre des problèmes complexes sans recourir à des techniques algorithmiques. L'objectif de ce projet est la réalisation d'un interpréteur d'un langage logique en français avec une interface graphique. Pour cela, nous utilisons le langage c# pour le développent d'un analyseur lexical, syntaxique, sémantique et pour l'interface. Mots clés : Prolog, interpréteur, langages logiques, analyseur lexical, analyseur syntaxique, analyseur sémantique.