Enjoy your solitude then. We will talk then.
]]>Seems like a good error. There is a prolog program that can be found.
http://en.literateprograms.org/index.ph … ldid=18673
http://en.literateprograms.org/Zebra_Pu … 8Prolog%29
Here are implementations in several languages.
]]>It can also be solved very easily using logic programming. If you search for "Prolog zebra puzzle" (or similar) in Google, you should be able to find a 15-liner to solve it. Prolog's special trick is to use something called "backtracking," though that's a separate topic.
Edit: My bad. There's a 15-line Sudoku solver. I was about to post in a different thread about a Sudoku solver and got confused.
]]>When I find the paper I will post how he does a simple logic problem. Then maybe someone will figure out a way.
]]>By the way, how does constraint programming do it so easily?
]]>How can I do that with them?
I do not know how to apply the idea to a larger problem or even a smaller one. I never really understood what the guy was doing.
]]>How can I do that with them?
]]>Since the variables are of type boolean they can only take two values of 0 and 1. You should adjust your loops for 0 to 1.
]]>However, there are some constraint programming solutions to this one
]]>What about these ones?
I never worked on one that big with that method.
What would be the input form?
Input form?
I only remember the technique from having read a paper on it in a journal. I could copy their results and two problems and maybe one of you guys can apply it to a larger problem...
]]>