zebra-puzzle

I need to solve the Ship Puzzle problem with using Prolog. Here are the facts. There are 5 ships. The Greek ship leaves at six and carries coffee. The Ship in the middle has a black chimney. The English ship leaves at nine. The French ship with blue chimney is to the left of a ship that carries coffee. To the right of the ship carrying cocoa is a ship going to Marseille. The Brazilian ship is heading for Manila. Next to the ship carrying rice is a ship with a green chimney. A ship going to Genoa leaves at five. The Spanish ship leaves at seven and is to the right of the ship going to Marseille

I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported it into Protege 4.0.2 (does not work with 4.1). I can start a reasoner by Reasoner → FaCT++ , Reasoner → Classify… , but i don't know, how to visualize the individual results. How can I do this? There are two ways in which you can visualise the results. Firstly, when you select the "Classes" Tab, you will see that there are two views available to you:

I need some help with a prolog homework for my AI class. The question is to write prolog code for einstein's puzzle. I know how to write it down in my own but there are some constraints in the homework. there are 5 houses the Englishman lives in the red house the Spaniard owns the dog coffee is drunk in the green house the Ukrainian drinks tea the green house is immediately to the right of the ivory house the Old Gold smoker owns snails Kools are smoked in the yellow house milk is drunk in the middle house the Norwegian lives in the first house the man who smokes Chesterelds lives in the house

Edit: this puzzle is also known as "Einstein's Riddle" The Who owns the Zebra (you can try the online version here ) is an example of a classic set of puzzles and I bet that most people on Stack Overflow can solve it with pen and paper. But what would a programmatic solution look like? Based on the clues listed below... There are five houses. Each house has its own unique color. All house owners are of different nationalities. They all have different pets. They all drink different drinks. They all smoke different cigarettes. The English man lives in the red house. The Swede has a dog. The Dane