Langage de Programmation Prolog

LANGAGE DE PROGRAMMATION PROLOG
INTRODUCTION
L'objectif de ce cours est d'étudier PROLOG afin de l'utiliser dans des exercices d'Intelligence Artificielle. La résolution d'exercices dans ce programme consiste à créer un fichier comme base de connaissances qui contiendra des informations suffisantes pour prendre des décisions correctes et fournir des réponses correctes, et un autre qui contiendra les règles, qui valideront les demandes pour fournir les réponses.
CADRE THÉORIQUE
PROLOG
PROLOG est un langage de programmation très utile pour résoudre des problèmes impliquant des objets et des relations entre objets. Il est basé sur les mécanismes de base suivants:
Unification
Retour en arrière automatique
Définir des règles sur les objets et leurs relations. (Écrire,T).
FAITS
ü Les disjonctions ne sont pas autorisées.
ü Les noms des prédicats commencent par une minuscule.
ü Le fait doit se terminer par un point.
QUESTIONS
Au moment de l'exécution, le prompt apparaît ?- et l'interpréteur PROLOG attend que l'utilisateur saisisse un objectif sous forme de prédicat, avec ou sans variables.
Comme dans CLIPS, nous aurons des fichiers avec la description de la base de connaissances (faits et règles).
(opro)
?- baseconoc.
/ Cela ajoute à la MT de Prolog les faits du fichier /
?- esHombre(juan).
yes intelligence artificielle
?- esHombre(pedro).
sure
?- esHombre(juanCarlos).
non
?- esMamifero(leon).
Non
RÈGLES
Il est possible dans PROLOG de définir la relation grand-père(X,Y)la relation oncle(X,Y)comme règles, en plus de pouvoir le faire comme faits via une conjonction d'objectifs.
abuelo(X,Y):- progenitor(X,Z), progenitor(Z,Y).
tio(X,Y):- progenitor(Z,Y), progenitor(V,Z), progenitor(V,X).
La première partie de la règle est appelée tête ou conclusion, le symbole “:-” est le conditionnel (SI), et la partie de la règle qui est après :- est le corps partie conditionnelle. Le corps peut être une conjonction d'objectifs séparés par des virgules. Pour démontrer que la tête de la règle est vraie, il faudra démontrer que le corps de la règle est vrai.
D'après ce qui a été vu jusqu'à présent, les clauses PROLOG sont de trois types: faits, règles et questions. Les clauses PROLOG consistent en une tête et un corps. Les faits sont des clauses qui ont une tête mais n'ont pas de corps. Les questions n'ont que du corps. Les règles ont toujours une tête et un corps. Les faits sont toujours vrais. Les règles déclarent des choses qui sont vraies en fonction d'une condition. Le programme PROLOG ( base de données PROLOG) est composée de faits et de règles et pour PROLOG il n'y a aucune distinction entre les deux. Les questions sont posées au programme pour déterminer quelles choses sont vraies. (Écrire,T).
CONCLUSION
Ce langage Prolog est orienté vers l'IA , utilisant pour cela la programmation logique. Prolog offre une facilité de programmation et possède une syntaxe simple grâce à cela les programmeurs peuvent écrire rapidement du code et contenir peu d'erreurs, De plus, il est facile à comprendre et peut être utilisé par des non-initiés.
BIBLIOGRAPHIE
Cubero, J. 2009. Tutoriel de Prolog. En ligne. Format PDF. Disponible en
Écrire,T. 2005. Le langage de programmation PROLOG. En ligne. Format PDF. Disponible en
Publié par
Inconnu en