• Considérer le programme suivant :
  p(a). % c1
p(X) :- q(X), r(X). % c2
p(X) :- u(X). % c3
q(X) :- s(X). % c4
r(a). % c5
r(b). % c6
s(a). % c7
s(b). % c8
s(c). % c9
u(d). % c10
Dessiner l'arbre de dérivations de la requête :
  • p(X)
• Concernant les relations de la fiche TDP1, dessiner les arbres de dérivations correspondant aux requêtes :
  • femme(X)
  • pere(odilon,Y)
  • tante(martine,Z)
• Concernant les relations de la fiche TDP2, dessiner les arbres de dérivations correspondant aux requêtes :
  • add(X,Y,s(s(0)))
  • mul(s(s(0)),s(0),P)
• Concernant les relations de la fiche TDP3, dessiner les arbres de dérivations correspondant aux requêtes :
  • element(X,[0,2,1,3])
  • element(1,[0,X,1,Y])
  • element(1,Xs)
  • renverse1([1,2],L)
  • renverse2([1,2],L)
  • perm([1,2],L)
  • perm(L,[1,2])
• Concernant les relations de la fiche TDP4, dessiner les arbres de dérivations correspondant aux requêtes :
  • ordonnee([1,3,5,7])
  • ordonnee([1,3,5,0,7])

---

Fred Mesnard