![]() We represent the houses as a list with 5 lists from left to right: Sol =, , ] The Norwegian lives near the blue house.In the house near the house with the horse they smoke Kool.The Chesterfield smoker lives near the man with the fox.The Norwegian lives in the first house from the left.The green house is next to the white house.There are 5 colored houses in a row, each having an owner, which has an animal, a favorite cigarette, a favorite drink.The famous Zebra Puzzle comes with 15 facts and 2 questions: I am really thankful to her because it proves that automated puzzle solving is an interesting and a programming skills to have. There is one professor in the world, Mihaela Malita takes it seriously enough to supply an extremely useful Prolog Puzzle Solving library. Under the amortization principle, we are coming out with a gain. Luckily, the consequence of spending infinite amount of time to code is the expectation The problem is encoding a logic puzzle is more difficult than You may ask, what is the problem? I said,ĭid you actually try to do it. Until when you actually start to write some Prolog codes. Use a programming logics language, namely PRO-LOG, to tackle with the problem. Let’s be more serious, a computer scientist, when they are facing a logical problem, they would We would run through the original statements to verify if there is any contradictions in our possible solution. If we could not reach a solution, we are not sure if we are reading all the English sentence properly after all. Putting those checkmarks to indicate something is possible or could be eliminated, that’s involve some language reading skills. Using by many puzzle enthusiasts and available in magazines dedicated to the subject. The logical combination table serves as a smarter-dumb search device. You are actually writing down something to eliminate some obviousĭumb choices. The puzzle book producer helps with giving you a table of all combinations so that you can pretend However, our hand and brain are usually too lazy to do this type of dumb search. If the answer produces no contradiction, we know we have the If we are dumb enough to try, we can exhaustively listĪll possible answers and go back to the list of constraints to test if any one of the answer After a few rough analysis, weĬan see the puzzles are a search problem. Through the process of elimination and theĭeductive reasoning, we would come to a possible answer.Īfter you solve a few puzzles, the natural tendency of a computer scientist is, “why don’t weĪutomated to solve these puzzles?” Of course, your computer scientist’s inclination is always right. We need to resort to use some external recordingĭevices to help us organized the “vast” information. Hold such a large logical space in our head, 6 x 5 x 7 = 210 Logical jumps in large recipe, like 6 houses, 5 couples and 7 kinds of tea. Butĭoes it really improve our brain function, or this simply shows our brain is incapable to handle Of course, we are having fun for doing that too. Logical enough to solve these logic puzzles. We thought that would improve our brain power after proving that we are We are all very interest to read and try our brains to solveġ or 2 of these puzzles.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |