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