[PDF] INF242V: Cours de Prolog 18 avr. 2007 Définition

View - Download INF242V: Cours de Prolog

Previous PDF

Next PDF

INF242V:CoursdeProlog

RomainJanvier

18avril2007

Tabledesmati`eres

IIntroduction`aProlog4

1Introduction4

1.1.1

2L'universdegprolog8

3Arithm´etiqueengprolog9

4D´efinitiond'unprogrammeProlog10

4.1.2

5LefonctionnementdeProlog11

1

6Solutiondesexercices16

IIConceptsalgorithmiques17

7Sp´ecificationdepr´edicats17

8.3.3

9Structuresarborescentes21

10Contraintessurlesdomainesfinis26

2

IIIAspectstechniques33

11Unoutildecontrˆole:lecoupe-choix33

IVApplications`alaprogrammationlogique41

13Introduction41

15Solutiondesexercices45

3

Premi`erepartie

Introduction`aProlog

1Introduction

1.1Pr´esentation

R´ef´erenceProlog:

1.1.1

Evolutiondeslangagesethistorique

Evalue¸ca"

deProlog)

1imp´eratif

unensembled'actions s´equentielles d´eclencherlesactionset modifierl'´etatdevariables

2applicatif

unefonction (composition)

´evaluationdelafonction

avecdesparam`etreseffectifs

3d´eclaratif

unensembleder`egles etdefaits lanceruner´esolutionentenantcompte desr`eglesetdel'´etatdelabasedefaits

Warren`aEdimburgh.

th´eor`emes.

Al'heureactuelle:

1.1.2LesatoutsdeProlog

4 dessyst`emesbool´eens. syst`emesdecontraintes.

1.2ApprocheintuitivedeProlog

1.2.1PROgrammerenLOGique

objets:heureux;desrelations:aime.

Exemple:

"quiaimelalogiqueestheureux" "Jeanaimelalogique" ?"Jeanestheureux"

1.2.2Unpeudevocabulaire

sions.

Cesontlesclausesmanipul´eesparProlog.

declause.

Exemple:TETEQUEUE

"Jeanestheureuxs'ilaimelalogique"

1.2.3Faits-Questions-R`egles

Ilsenote:

entree(avocat). calories(avocat,200).

Exemple:

5 entree(salade).dessert(raisin). entree(avocat).dessert(melon). entree(huitre). viande(steak).poisson(truite). viande(escalope).poisson(daurade). calories(salade,15).calories(raisin,70). calories(avocat,220).calories(melon,27). calories(huitre,70).calories(steak,203). calories(daurade,90). blanc(sauterne).rouge(lichine). blanc(chablis).rouge(vougeot). commefaux. ex´ecutionenposantuneQuestion.

Exemple:

"est-ilvraiquel'avocatestuneentr´ee" entree(avocat). calories(steak,C).

Prologr´epond:C=203

yes d'´equationenmaths). 1 =Val 1 ,...,Var n Val n FAIT calories steakC Q=

QUESTION

calories steak203 F=

P1σ=P2σ.

6 laLogique,B=jean}permetd'unifierP1etP2. r1:plat(V):-viande(V). r2:plat(P):-poisson(P).

Remarque:ilyaun"ou"impliciteentrer1etr2.

implicite).Autrementdituner`egle:

Tete:-Queue.

peutselire: d'uneentr´eeETd'unplatETd'undessert". repas.

Desquestionspeuventˆetre:

crˆepes,del'escalopeetduraisin?" no,r´eponseNON

E=salade

D=raisin?;

E=salade

D=melon?;

E=avocat

D=raisin?;

E=avocat

D=melon?;

E=huitre

D=raisin?;

E=huitre

1 1 7 ?-repas(E,P,D),poisson(P). {E=salade,P=steak,D=raisin} poisson(P) dessert(D),poisson(P) viande(P),dessert(D),poisson(P) plat(P),dessert(D),poisson(P) entree(E),plat(P),dessert(D),poisson(P) repas(E,P,D),poisson(P) {E=Salade} ECHEC {E=salade,P=steak} {E=Salade} dessert(D),poisson(P) poisson(P)

SUCCES{E=salade,P=truite,D=raisin}

poisson(P) ECHEC {E=Salade} {E=salade,P=truite} {E=salade,P=truite,D=raisin} poisson(P),dessert(D),poisson(P)

2L'universdegprolog

2.1Lestermes

2.1.1Lesatomes

Unatomeestsoit:

'l"arbre'.

2.1.2Lesvariables

sonnom. 8

2.1.3Lesnombres

2.1.4Lestermescompos´es

Terme-compos´e::=Atome(Terme{,Terme})

calorie(salade,15).

2.1.5Repr´esentationdestermes

estrepr´esent´eparl'arbresuivant: a1 f1 f2a3 a2

3Arithm´etiqueengprolog

3.1Lesexpressionsarithm´etiques

rem(reste)et**(puissance).

3.2Pr´edicatsarithm´etiques

r´eussitmais2*3=:=5´echoue. 9

3.3Lepr´edicatis/2

nes'unifiepasavec5.

4D´efinitiond'unprogrammeProlog

Lesclauses:

fct(0,1). fct(X,Y):-.... fct(X,Y):-.... fct(X,Y,Z):-....

4.1ExemplesdeprogrammesProlog

4.1.1Lerestaurant(suite)

SoitlabasedefaitsPrologsuivante:

etlesr`egles: plat(P):-viande(P). plat(P):-poisson(P).

CisC1+C2+C3.

Exercice:

1. 4.1.2

El´evation`alapuissance

N =P. 1.X 0 =1 2.X n =X n-1 ?X,avecn>0 d'o`uleprogrammePrologsuivant: puissance(,0,1). d'utiliserXailleursdanslar`egle. 10

5LefonctionnementdeProlog

5.1L'unification

Terme1Terme2?oksubstitutioncommentaire

aaaaoui{} deuxtermesatomiquessont unifiabless'ilssontidentiques aabbnon

Abboui{A=bb}

siundesdeuxtermesest unevariablelibre,l'unification esttoujourspossible a bX a Yc oui{X=c,Y=b} c a Xb YX a Yb c c a Xb YX a Yb d non {X=Y, X=c, Y=d} l'unificationdeX aveccn´ecessiterait l'unificationdesdeux termesatomiques cetd. X a bc d a XY oui {X=b,

Y=c(d,b)}

ondonnelavaleurde

Yenrempla¸cantX

parsavaleur

5.2S´emantiqued´eclarative

11

5.3S´emantiqueproc´edurale

5.3.1Principe

T 1 (A 1 1 ,...,A 1 N ),T 2 (A 2 1 ,...,A 2 M ),...,T K i uner´esolvante,onpeut 1 question. R 1 →R 2 →R 3 →...→R N

Pourpasserdelar´esolvanteR

i `alar´esolvanteR i+1 T 1 etplacelar´e´ecrituredutermeT 1 i obtenuepour unifierT 1 R i =T 1 (A 1 1 ...A 1 N ),T 2 (A 2 1 ...A 2 M ),...,T K R i+1 =Q,T 2 (A 2 1 ,...,A 2 M i ,...,T K i card(R i+1 )=card(R i )-1 card(R i+1 )≥card(R i

Poureffectuerl'effacementdutermeT

1 s'unifieavecletermeT 1 T 1 (U 1 1 ...U 1 N ):-Q. lasubstitutionσ i permettantl'unificationdeT 1 (U 1 1 ...U 1 N )etdeT 1 (A 1 1 ...A 1 N )estm´emoris´ee.Encasde substitutionsσ i utilis´eeslorsdesd´erivations. profondeurd'abord.

Afind'effacerletermeT

1 pastrouverdeclausepourr´e´ecrireT 1 12

5.3.3Exempleder´esolution

successives(multiplication n'estpasr´eduite. moteurder´esolutiondeProlog. mlt(10,-2,A) 1 ={1X=10,1Y=-2,1R=A} -2<0,1Y1is--2,mlt(10,1Y1,1R1),Ais-1R1 2 ={1Y1=2} mlt(10,2,1R1),Ais-1R1 3 ={2X=10,2Y=2,2R=1R1}quotesdbs_dbs45.pdfusesText_45

[PDF] planches pendule pdf

[PDF] exercice produit scalaire corrigé

[PDF] le pendul'or - 200 planches pdf

[PDF] danger du pendule

[PDF] cicéron de la divination

[PDF] cicéron de divinatione texte latin

[PDF] médecine parallèle définition

[PDF] futuribles pdf

[PDF] enseigner au canada avec le crpe

[PDF] médecine parallèle liste

[PDF] enseigner le francais au canada

[PDF] médecine conventionnelle et médecine traditionnelle

[PDF] salaire enseignant canada

[PDF] définition médecine conventionnelle

[PDF] enseigner au canada avec un diplome français