Dmytro Suvorov susl

susl / einstein.pl

Created January 30, 2012 14:13

Einstein's Problem in SWI-Prolog, see http://habrahabr.ru/blogs/prolog/122142/ (in Russian)

	#!/usr/bin/pl -q -t einstein -s

	einstein :-
	/*
	условия 0, 1 и 8 можно упостить до:
	Houses = [[norwegian,_,_,_,_],_,[_,_,_,milk,_],_,_]
	тогда не нужен предикат nth1, но хотелось быть как можно ближе к оригиналу
	*/

	/* 0. Всего 5 домов */