Le cid de corneille

Disponible uniquement sur Etudier
  • Pages : 39 (9729 mots )
  • Téléchargement(s) : 0
  • Publié le : 20 février 2010
Lire le document complet
Aperçu du document
Licence informatique 2001 / 2002

Programmation fonctionnelle et logique

Programmation fonctionnelle et logique --Dossier sur PROLOG

Dossier sur PROLOG

Martin Ludovic

Dossier sur PROLOG

Table des matières

Table des matières
I. La programmation logique ........................................................................................................................ 1I.1. Un mode de programmation à part ..................................................................................................... 1 I.1.1. Les autres modes de programmation ........................................................................................... 1 I.1.1.1. La programmation impérative.............................................................................................. 1 I.1.1.2. La programmation fonctionnelle .......................................................................................... 1 I.1.2. La programmation logique .......................................................................................................... 1 I.1.3. La programmation orientée objet................................................................................................ 1 I.2. Constitution d’un programme PROLOG............................................................................................ 2 I.2.1. Les faits........................................................................................................................................ 2 I.2.2. Lesrègles..................................................................................................................................... 2 I.2.3. Les conventions de SWI-PROLOG© ........................................................................................... 3 II. Utilisations de PROLOG.......................................................................................................................... 3 II.1. Interrogation de bases de données relationnelles.............................................................................. 3 II.1.1. Programmation de la base de données ....................................................................................... 3 II.1.2. Interrogation de la base de données ........................................................................................... 4 II.1.2.1. Vérification de la présence d’unedonnée dans la table ...................................................... 4 II.1.2.2. Recherche d’une liste simple............................................................................................... 4 II.1.2.3. Recherche d’une liste multiple............................................................................................ 5 II.1.2.4. Recherche dans un intervalle de valeurs............................................................................. 6 II.1.2.5. Utilisation des sous-tables................................................................................................... 7 II.2. Formalisation de systèmes experts.................................................................................................... 8 II.2.1. PROLOG et les systèmesexperts............................................................................................... 8 II.2.2. Constitution de la base de connaissance .................................................................................... 8 II.2.2.1. Enumération exhaustive ...................................................................................................... 9 II.2.2.2. Ecritures condensées........................................................................................................... 9 II.2.2.2.1. Règle de commutation.................................................................................................. 9 II.2.2.2.2. Enumération par variables.......................................................................................... 11 II.2.2.2.3. Relations entre...
tracking img