tpProlog/tp2/.svn/text-base/exo1.txt.svn-base

   1 1 oui
   2 2 non
   3 3 je pense que oui. Asupprimer eventuellement
   4 4 la variable Bread prend pour valeur la constante bread
   5 5 non
   6 6 non
   7 7 X est instancié avec food(bread)
   8 8 X est instancié avec bread
   9 9 X est instancié avec saussage, Y est instancié avec bread
  10 10 non : X ne peut être instancié avec bread et beer
  11 11 non : on ne peut unifier kahuna_burger avec beer
  12 12 non
  13 13 X est instancié avec food(bread), Y est instancié avec drink(beer)
  14 14 non : X ne peut pas s'unifier à la fois avec food(bread) et avec drink(beer)
  15