nationality nationality nationality nationality nationality Pet Pet Pet Pet Pet cigarette cigarette cigarette cigarette cigarette drink drink drink drink drink
Nr Name Value
1 House {0,1,2,3,4}
2 color_House {(0|->yellow),(1|->blue),(2|->red),(3|->green),(4|->white)}
3 nationality_House {(0|->Norwegian),(1|->Dane),(2|->Englishman),(3|->German),(4|->Swede)}
4 drink_House {(0|->water),(1|->tea),(2|->milk),(3|->coffee),(4|->beer)}
5 cigarette_House {(0|->Dunhills),(1|->Blend),(2|->Pall_Mall),(3|->Prince),(4|->Blue_Masters)}
6 pet_House {(0|->cat),(1|->horse),(2|->bird),(3|->fish),(4|->dog)}
Nr Name Value
1 Color {red,blue,green,white,yellow}
2 Nationality {Englishman,Dane,German,Norwegian,Swede}
3 Drink {tea,beer,coffee,milk,water}
4 Cigarette {Pall_Mall,Blend,Blue_Masters,Dunhills,Prince}
5 Pet {dog,bird,cat,fish,horse}
Nr Event Target State ID
1SETUP_CONSTANTS(House={0,1,2,3,4},color_House={(0|->yellow),(1|->blue),(2|->red),(3|->green),(4|->white)},nationality_Ho...State 0
2INITIALISATION()
3run0
Generated on 23/3/2021 at 9:51 using ProB version 1.11.0-nightly
Main specification file: einsteins_puzzle.als