Domains
prenom,ville,sexe,numero=symbol
age=integer
Predicates
personne(prenom)
femme(prenom)
habite(prenom,ville)
majeur(prenom)
Publicité
ag(prenom,age)
identit(prenom,sexe,age,numero,ville)
Clauses
idetit(luis,m,38,42.38.92.71,aix-en-provence)
identit(jean,m,39,41.38.92.71,nice)
identit(fran!ois,m,39,51.38.92.71,orlans)
identit(juliette,f,39,38.38.92.71,orlans)
identit(marie,f,20,46.38.24.75,paris)
Publicité
personne(P) if identit(P,\_,\_,\_,\_)
femme(P) if identit(P,f,\_,\_,\_)
[Nahed Bouzidi](http://www.facebook.com/profile.php?id=1238503919)6 avril, 22:43 (http://www.facebook.com/ajax/report.php?content_type=9&cid=1982431397996&rid=1238503919&h=AQD1Iprmah7O3csF)
domains
nome,nomp,nomd,prix=symbol
predicates
entree(nome,prix)
plat(nomp,prix)
Publicité
dessert(nomd,prix)
clauses
entree(jambon,"12.5").
entree(salade,"30").
entree(foiegras,"50").
entree(oeuf,"7.8").
plat(roti,"35.1").
plat(poisson,"40").
Publicité
plat(poulet,"28").
dessert(tarte,"12").
dessert(glace,"18").
dessert(formage,"16").