Cours PROLOG.pdf

More documents

Recommendations

Info

Dossier sur PROLOGUtilisations de PROLOGEx : Qui sont les parents de Louis XIV ??- bio(louis14,_,_,_,Parent,_);bio(louis14,_,_,_,_,Parent).Parent = louis13 ;Parent = anne_autriche ;NoOn obtient ici une sous-table à un seul attribut avec deux données. De ce fait, on perd l’information sur le sexe desparents puisqu’ils sont tous les deux réunis sous le même attribut.II.1.2.4. Recherche dans un intervalle de valeursPROLOG peut gérer un intervalle de valeurs.Ex : Quels sont les personnages nés entre 1750 et 1800 ??- bio(Qui,_,N,_,_,_),1750=
Dossier sur PROLOGUtilisations de PROLOGNoCette fois PROLOG veut bien s’exécuter car il y a un nombre fini d’entiers compris entre 1750 et 1800. On retrouve bienles même résultats qu’avec le premier exemplePROLOG permet également de façon tout à fait naturelle de rechercher des solutions n’appartenant pas à un ensemble devaleurs.Ex : Quels sont les personnages qui ne sont pas nés entre 1750 et 1800 ??- bio(Qui,_,N,_,_,_),(1750>N;N>1800).Qui = louis13N = 1601 ;Qui = elisabeth_FranceN = 1603 ;Qui = marie_therese_AutricheN = 1638 ;Qui = louis14N = 1638 ;Qui = grand_dauphinN = 1661 ;Qui = louis_bourbonN = 1682 ;Qui = philippe5N = 1683 ;Qui = louis15N = 1710 ;Qui = louis_dauphinN = 1729 ;Qui = philippe1N = 1640 ;Qui = philippe2N = 1674 ;Qui = louis_orleansN = 1703 ;Qui = louis_philippeN = 1725 ;Qui = philippe_egaliteN = 1747 ;NoRem : Ici non plus on ne peut pas inverser l’ordre des formules atomiques de la requête.?- (1750>N;N>1800),bio(Qui,_,N,_,_,_).ERROR: Arguments are not sufficiently instantiatedOn obtient le même type d’erreur que lorsqu’on recherchait des solutions dans un intervalle de valeurs.II.1.2.5. Utilisation des sous-tablesLorsque nous avions programmé la base de données, en plus de la table ‘bio’, nous avions également déclaré trois autres soustables : ‘enfant’, ‘ptenfant’ et ‘descendant’ par l’intermédiaire de règles. Il est tout à fait possible d’interroger ces dernièrescomme nous l’avons fait avec ‘bio’.Ex : Quels sont les descendants de Louis XIV ??- descendant(X,louis14).X = grand_dauphin ;X = louis_bourbon ;X = philippe5 ;X = louis15 ;X = louis_dauphin ;X = louis16 ;X = louis18 ;X = charles10 ;X = clotilde ;X = louis17 ;NoLouis XIV a 10 descendants dans la base de données.Ex : Quels sont les ancêtres de Louis XVII ??- descendant(louis17,X).7
Page 1 and 2: Licence informatique 2001 / 2002Pro
Page 3 and 4: Dossier sur PROLOGTable des matièr
Page 5 and 6: Dossier sur PROLOGLa programmation
Page 7 and 8: Dossier sur PROLOGLa programmation
Page 9: Dossier sur PROLOGUtilisations de P
Page 13 and 14: Dossier sur PROLOGUtilisations de P
Page 29 and 30: Dossier sur PROLOGLa recherche de s
Page 49: Dossier sur PROLOGLa recherche de s

Cours PROLOG.pdf

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?