guile> La liste des faits a montrer devient: ( (gd-parent-de Cronos Pollux) ) Application de la regle 4: SI (parent-de ?xn7 ?xn9) (parent-de ?xn9 ?xn8) ALORS (gd-parent-de ?xn7 ?xn8) La liste des faits a montrer devient: ( (parent-de Cronos ?xn9) (parent-de ?xn9 Pollux) ) Application de la regle 1: SI (pere-de ?xn11 ?xn10) ALORS (parent-de ?xn11 ?xn10) La liste des faits a montrer devient: ( (parent-de ?xn9 Pollux) (pere-de Cronos ?xn9) ) Application de la regle 1: SI (pere-de ?xn21 ?xn20) ALORS (parent-de ?xn21 ?xn20) La liste des faits a montrer devient: ( (pere-de Cronos ?xn9) (pere-de ?xn9 Pollux) ) Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( (pere-de Zeus Pollux) ) (pere-de Zeus Pollux) est une observation elle est donc verifiee. La liste des faits a montrer devient: ( ) fin Le pgu est: ((Zeus ?xn9) (?xn9 ?xn21 Pollux ?xn20 ?xn20 ?x2 ?xn21 ?x1) (Cronos ?xn11 ?xn9 ?xn10 ?xn10 ?x2 ?xn11 ?x1) (Cronos ?xn7 Pollux ?xn8 ?xn7 ?x8 ?xn8 ?x10 ?xn9 ?x9)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn23 ?xn22) ALORS (parent-de ?xn23 ?xn22) La liste des faits a montrer devient: ( (pere-de Cronos ?xn9) (mere-de ?xn9 Pollux) ) Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( (mere-de Zeus Pollux) ) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn13 ?xn12) ALORS (parent-de ?xn13 ?xn12) La liste des faits a montrer devient: ( (parent-de ?xn9 Pollux) (mere-de Cronos ?xn9) ) Application de la regle 1: SI (pere-de ?xn51 ?xn50) ALORS (parent-de ?xn51 ?xn50) La liste des faits a montrer devient: ( (mere-de Cronos ?xn9) (pere-de ?xn9 Pollux) ) Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn53 ?xn52) ALORS (parent-de ?xn53 ?xn52) La liste des faits a montrer devient: ( (mere-de Cronos ?xn9) (mere-de ?xn9 Pollux) ) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. La liste des faits a montrer devient: ( (gd-parent-de Cronos ?x) ) Application de la regle 4: SI (parent-de ?xn87 ?xn89) (parent-de ?xn89 ?xn88) ALORS (gd-parent-de ?xn87 ?xn88) La liste des faits a montrer devient: ( (parent-de Cronos ?xn89) (parent-de ?xn89 ?x) ) Application de la regle 1: SI (pere-de ?xn91 ?xn90) ALORS (parent-de ?xn91 ?xn90) La liste des faits a montrer devient: ( (parent-de ?xn89 ?x) (pere-de Cronos ?xn89) ) Application de la regle 1: SI (pere-de ?xn101 ?xn100) ALORS (parent-de ?xn101 ?xn100) La liste des faits a montrer devient: ( (pere-de Cronos ?xn89) (pere-de ?xn89 ?x) ) Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( (pere-de Zeus ?x) ) Application du but (pere-de Zeus Pollux) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Pollux ?x) (Zeus ?xn89) (?xn89 ?xn101 ?x ?xn100 ?xn100 ?x2 ?xn101 ?x1) (Cronos ?xn91 ?xn89 ?xn90 ?xn90 ?x2 ?xn91 ?x1) (Cronos ?xn87 ?x ?xn88 ?xn87 ?x8 ?xn88 ?x10 ?xn89 ?x9)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Helene) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Helene ?x) (Zeus ?xn89) (?xn89 ?xn101 ?x ?xn100 ?xn100 ?x2 ?xn101 ?x1) (Cronos ?xn91 ?xn89 ?xn90 ?xn90 ?x2 ?xn91 ?x1) (Cronos ?xn87 ?x ?xn88 ?xn87 ?x8 ?xn88 ?x10 ?xn89 ?x9)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Castor) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Castor ?x) (Zeus ?xn89) (?xn89 ?xn101 ?x ?xn100 ?xn100 ?x2 ?xn101 ?x1) (Cronos ?xn91 ?xn89 ?xn90 ?xn90 ?x2 ?xn91 ?x1) (Cronos ?xn87 ?x ?xn88 ?xn87 ?x8 ?xn88 ?x10 ?xn89 ?x9)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn103 ?xn102) ALORS (parent-de ?xn103 ?xn102) La liste des faits a montrer devient: ( (pere-de Cronos ?xn89) (mere-de ?xn89 ?x) ) Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( (mere-de Zeus ?x) ) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn93 ?xn92) ALORS (parent-de ?xn93 ?xn92) La liste des faits a montrer devient: ( (parent-de ?xn89 ?x) (mere-de Cronos ?xn89) ) Application de la regle 1: SI (pere-de ?xn131 ?xn130) ALORS (parent-de ?xn131 ?xn130) La liste des faits a montrer devient: ( (mere-de Cronos ?xn89) (pere-de ?xn89 ?x) ) Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn133 ?xn132) ALORS (parent-de ?xn133 ?xn132) La liste des faits a montrer devient: ( (mere-de Cronos ?xn89) (mere-de ?xn89 ?x) ) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. La liste des faits a montrer devient: ( (frere-de ?X ?Y) ) Application de la regle 3: SI (parent-de ?xn166 ?xn164) (parent-de ?xn166 ?xn165) ALORS (frere-de ?xn164 ?xn165) La liste des faits a montrer devient: ( (parent-de ?xn166 ?X) (parent-de ?xn166 ?Y) ) Application de la regle 1: SI (pere-de ?xn171 ?xn170) ALORS (parent-de ?xn171 ?xn170) La liste des faits a montrer devient: ( (parent-de ?xn166 ?Y) (pere-de ?xn166 ?X) ) Application de la regle 1: SI (pere-de ?xn181 ?xn180) ALORS (parent-de ?xn181 ?xn180) La liste des faits a montrer devient: ( (pere-de ?xn166 ?X) (pere-de ?xn166 ?Y) ) Application du but (pere-de Ouranos Cronos) La liste des faits a montrer devient: ( (pere-de Ouranos ?Y) ) Application du but (pere-de Ouranos Cronos) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Cronos ?Y) (Ouranos ?xn166 Cronos ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( (pere-de Cronos ?Y) ) Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Zeus ?Y) (Cronos ?xn166 Zeus ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Pollux) La liste des faits a montrer devient: ( (pere-de Zeus ?Y) ) Application du but (pere-de Zeus Pollux) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Pollux ?Y) (Zeus ?xn166 Pollux ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Helene) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Helene ?Y) (Zeus ?xn166 Pollux ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Castor) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Castor ?Y) (Zeus ?xn166 Pollux ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Helene) La liste des faits a montrer devient: ( (pere-de Zeus ?Y) ) Application du but (pere-de Zeus Pollux) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Pollux ?Y) (Zeus ?xn166 Helene ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Helene) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Helene ?Y) (Zeus ?xn166 Helene ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Castor) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Castor ?Y) (Zeus ?xn166 Helene ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Castor) La liste des faits a montrer devient: ( (pere-de Zeus ?Y) ) Application du but (pere-de Zeus Pollux) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Pollux ?Y) (Zeus ?xn166 Castor ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Helene) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Helene ?Y) (Zeus ?xn166 Castor ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Castor) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Castor ?Y) (Zeus ?xn166 Castor ?X) (?xn166 ?xn181 ?Y ?xn180 ?xn180 ?x2 ?xn181 ?x1) (?xn166 ?xn171 ?X ?xn170 ?xn170 ?x2 ?xn171 ?x1) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn183 ?xn182) ALORS (parent-de ?xn183 ?xn182) La liste des faits a montrer devient: ( (pere-de ?xn166 ?X) (mere-de ?xn166 ?Y) ) Application du but (pere-de Ouranos Cronos) La liste des faits a montrer devient: ( (mere-de Ouranos ?Y) ) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Cronos Zeus) La liste des faits a montrer devient: ( (mere-de Cronos ?Y) ) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Pollux) La liste des faits a montrer devient: ( (mere-de Zeus ?Y) ) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Helene) La liste des faits a montrer devient: ( (mere-de Zeus ?Y) ) Il semble que nous devons faire un backtrack ici. Application du but (pere-de Zeus Castor) La liste des faits a montrer devient: ( (mere-de Zeus ?Y) ) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn173 ?xn172) ALORS (parent-de ?xn173 ?xn172) La liste des faits a montrer devient: ( (parent-de ?xn166 ?Y) (mere-de ?xn166 ?X) ) Application de la regle 1: SI (pere-de ?xn211 ?xn210) ALORS (parent-de ?xn211 ?xn210) La liste des faits a montrer devient: ( (mere-de ?xn166 ?X) (pere-de ?xn166 ?Y) ) Application du but (mere-de Gaia Cronos) La liste des faits a montrer devient: ( (pere-de Gaia ?Y) ) Il semble que nous devons faire un backtrack ici. Application du but (mere-de Rhea Zeus) La liste des faits a montrer devient: ( (pere-de Rhea ?Y) ) Il semble que nous devons faire un backtrack ici. Application du but (mere-de Rhea Hades) La liste des faits a montrer devient: ( (pere-de Rhea ?Y) ) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application de la regle 2: SI (mere-de ?xn213 ?xn212) ALORS (parent-de ?xn213 ?xn212) La liste des faits a montrer devient: ( (mere-de ?xn166 ?X) (mere-de ?xn166 ?Y) ) Application du but (mere-de Gaia Cronos) La liste des faits a montrer devient: ( (mere-de Gaia ?Y) ) Application du but (mere-de Gaia Cronos) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Cronos ?Y) (Gaia ?xn166 Cronos ?X) (?xn166 ?xn213 ?Y ?xn212 ?xn212 ?x4 ?xn213 ?x3) (?xn166 ?xn173 ?X ?xn172 ?xn172 ?x4 ?xn173 ?x3) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application du but (mere-de Rhea Zeus) La liste des faits a montrer devient: ( (mere-de Rhea ?Y) ) Application du but (mere-de Rhea Zeus) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Zeus ?Y) (Rhea ?xn166 Zeus ?X) (?xn166 ?xn213 ?Y ?xn212 ?xn212 ?x4 ?xn213 ?x3) (?xn166 ?xn173 ?X ?xn172 ?xn172 ?x4 ?xn173 ?x3) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (mere-de Rhea Hades) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Hades ?Y) (Rhea ?xn166 Zeus ?X) (?xn166 ?xn213 ?Y ?xn212 ?xn212 ?x4 ?xn213 ?x3) (?xn166 ?xn173 ?X ?xn172 ?xn172 ?x4 ?xn173 ?x3) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Application du but (mere-de Rhea Hades) La liste des faits a montrer devient: ( (mere-de Rhea ?Y) ) Application du but (mere-de Rhea Zeus) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Zeus ?Y) (Rhea ?xn166 Hades ?X) (?xn166 ?xn213 ?Y ?xn212 ?xn212 ?x4 ?xn213 ?x3) (?xn166 ?xn173 ?X ?xn172 ?xn172 ?x4 ?xn173 ?x3) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Application du but (mere-de Rhea Hades) La liste des faits a montrer devient: ( ) fin Le pgu est: ((Hades ?Y) (Rhea ?xn166 Hades ?X) (?xn166 ?xn213 ?Y ?xn212 ?xn212 ?x4 ?xn213 ?x3) (?xn166 ?xn173 ?X ?xn172 ?xn172 ?x4 ?xn173 ?x3) (?X ?xn164 ?Y ?xn165 ?xn164 ?x6 ?xn165 ?x7 ?xn166 ?x5)) Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. Il semble que nous devons faire un backtrack ici. guile>