problem-set/puzzles/miscell/houses.desc created : 08/02/88 revised : 08/11/88 Natural Language Description: The Houses There are 5 houses, 5 people, 5 colors, 5 drinks, 5 games, and 4 pets. Each house has a person, a color, a drink, and game, and all but one of the houses has a pet. The problem is to match each house with as many properties as possible. House 1 is at the left end and house 5 is at the right end. The Englishman lives in the Red house. The White house is left of the Green house. The Italian has a Guppy. Lemonade is drunk in the Green house. The Swede lives in the house where Coffee is drunk. The Toad lives in the house where Backgammon is played. Racquetball is played in the Yellow house. Milk is drunk in the third house. The Russian lives in the first house. The Camel lives next to the house where Quoits is played. The Rat lives next to the house where Racquetball is played. Solitaire is played in the house where Vodka is drunk. The American lives in the house where Charades is played. The Russian lives next to the Blue house. Versions: houses.ver1 : uses UR-resolution, binary-resolution, factoring, and Unit-deletion to obtain the units for the solution, and weighting to obtain the contradiction. created by : Kelly Ratliff verified for ITP : untested translated for OTTER : K.R. verified for OTTER : 08/11/88