[net.lang.prolog] Pereira's solution to the zebra problem

arf (04/04/83)

Although I prefer the style of Pereira's program to Baxter's,
it does not generate a correct answer while Baxter's does.
The answer

	All = [ c(englishman,red,snails,milk,winston,middle),
		c(japanese,blue,horse,water,parliaments,rightmost),
		c(ukranian,yellow,zebra,tea,kools,right),
		c(spaniard,green,dog,coffee,chesterfields,left),
		c(norwegian,ivory,fox,orange_juice,lucky_strike,leftmost)],

does not satisfy the condition

	14. The Norwegian lives next to the blue house.