Programmation logique

Disponible uniquement sur Etudier
  • Pages : 36 (8880 mots )
  • Téléchargement(s) : 0
  • Publié le : 1 avril 2011
Lire le document complet
Aperçu du document
Introduction à la programmation logique en PROLOG II+
Mahieddine DJOUDI Email : mahieddine.djoudi@free.fr Web : http://mahieddine.djoudi.free.fr

Table des matières
1 Introduction à Prolog.......................................................................... 6
1.1 1.2 1.3 1.4 1.5 Prolog c'est quoi?.................................................................................................................6 Repères historiques ..............................................................................................................6 Domaines d’application .......................................................................................................7 Présentation informelle........................................................................................................7 Caractéristiques du langage .................................................................................................8

2 Concepts de base de prolog .............................................................. 10
2.1 2.1.1 2.1.2 2.1.3 2.2 Les faits..............................................................................................................................10 Définition ...................................................................................................................10 Exemples....................................................................................................................10 Les variables dans les faits.........................................................................................11Les questions......................................................................................................................11 Définition ...................................................................................................................11 Les variables dans les questions ................................................................................11 Les questionsconjonctives.........................................................................................11 Les règles ...........................................................................................................................12 Définition ...................................................................................................................12 Exemple.....................................................................................................................12 Les règles récursives ..................................................................................................12 Récapitulatif .......................................................................................................................13

2.2.1 2.2.2 2.2.3 2.3 2.3.1 2.3.2 2.3.32.4

3 Présentation de PrologII+ ................................................................ 14
3.1 3.2 3.3 3.4 Introduction........................................................................................................................14 Matériel et logiciel requis ..................................................................................................14 Installationsous Windows 9x ............................................................................................14 Le lancement de Prolog et arrêt .........................................................................................15
Page 2/46

3.5 3.5.1Utilisation...........................................................................................................................15 Pour commencer ........................................................................................................15 Utilisation de l’interface.............................................................................................15 En mode insertion ......................................................................................................16 Utilisation d’un fichier...
tracking img