// version 'b' use 3 and rules to define 'neighbour' function

// http://www.jeuxlogiques.fr/integramme/index/grille?grille=5

// Il y a cinq maisons de 5 couleurs différentes.
// Dans chaque maison vit une personne de nationalité différente.
// Chacun des 5 propriétaires boit un certain type de boisson, fume un certain type de cigares 
// et garde un certain animal domestique.
// Qui a le poisson ?

// category group and value list

>maison 1 2 3 4 5
>couleur rouge vert blanc jaune bleu
>nationalite anglais suedois danois norvegien allemand
>boisson the cafe lait biere eau
>cigare pallmall dunhill blend bluemaster prince
>animal chien oiseau chat cheval poisson

// puzzle clues

// L'Anglais vit dans une maison rouge.
anglais.couleur rouge

// Le Suédois a des chiens comme animaux domestiques.
suedois.animal chien

// Le Danois boit du thé.
danois.boisson the

// La maison verte est à gauche de la maison blanche.
maison.vert < maison.blanc

// Le propriétaire de la maison verte boit du café.
vert.boisson cafe

// La personne qui fume des Pall Mall a des oiseaux.
pallmall.animal oiseau

// Le propriétaire de la maison jaune fume des Dunhill.
jaune.cigare dunhill

// La personne qui vit dans la maison du centre boit du lait.
3.boisson lait

// Le Norvégien habite la première maison.
norvegien.maison 1

// L'homme qui fume les Blend vit à côté de celui qui a des chats.
blend.maison >= chat.maison - 1
blend.maison <= chat.maison + 1
blend.maison ! chat.maison

// L'homme qui a un cheval est le voisin de celui qui fume des Dunhill.
cheval.maison >= dunhill.maison - 1
cheval.maison <= dunhill.maison + 1
cheval.maison ! dunhill.maison

// Le propriétaire qui fume des Blue Master boit de la bière.
bluemaster.boisson biere

// L'Allemand fume des Prince.
allemand.cigare prince

// Le Norvégien vit juste à côté de la maison bleue.
norvegien.maison >= bleu.maison - 1
norvegien.maison <= bleu.maison + 1
norvegien.maison ! bleu.maison

// L'homme qui fume des Blend a un voisin qui boit de l'eau.
blend.maison >= eau.maison - 1
blend.maison <= eau.maison + 1
blend.maison ! eau.maison