Talk:Zebra puzzle: Difference between revisions

Content added Content deleted
(→‎Who has the zebra, indeed?: Whatever redirects you want)
Line 7: Line 7:
Secondly, the Prolog solution took some shortcuts ("Norwegian in first house" and "Norwegian next to blue house" effectively rolled into one as "the second house is blue"). That's trivial deduction by a person, but it's better to leave the input conditions exactly as stated in the task, to minimize human involvement in this process. --[[User:Ledrug|Ledrug]] 02:19, 5 December 2011 (UTC)
Secondly, the Prolog solution took some shortcuts ("Norwegian in first house" and "Norwegian next to blue house" effectively rolled into one as "the second house is blue"). That's trivial deduction by a person, but it's better to leave the input conditions exactly as stated in the task, to minimize human involvement in this process. --[[User:Ledrug|Ledrug]] 02:19, 5 December 2011 (UTC)
: I noticed that too --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)
: I noticed that too --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)
:: Anything with fewer lines than the number of conditions would seem to me to have been artificially compressed --[[User:Dgamey|Dgamey]] 12:49, 5 December 2011 (UTC)


I had always known this as the Einstein Logic Puzzle. I suggest a redirect from there to Zebra. --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)
I had always known this as the Einstein Logic Puzzle. I suggest a redirect from there to Zebra. --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)