in reply to May be OT (Re: Solve Einstein's problem with perl?!)
in thread Solve Einstein's problem with perl?!
The final constraint
None of the 5 persons likes the same drink or cigarrete best or has the same pet as one of his neighbours.is both the most unrealisitic (wrto Real World) and the one that is hardest to express in Prolog or other LP paradigms.
A reduction-based theorem-prover (as opposed to the unification based one that makes Prolog go) might have a better chance at meeting the rec.puzzles definition of "solving", as opposed to trying by exhaustion.