Мне нужна помощь с домашней работой пролога для моего класса AI. Вопрос заключается в написании прологового кода для загадки эйнштейнов. Я знаю, как записать его самостоятельно, но есть некоторые ограничения в домашней работе.
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 next to the man with the fox
3 Kools are smoked in the house next to the house where the horse is kept
the Lucky Strike smoker drinks orange juice
the Japanese smokes Parliaments
the Norwegian lives next to the blue house
Я знаю, что мне нужно использовать список для домов, потому что они заказаны. Я тоже хотел использовать список характеристик дома, но у меня проблема.
Я собирался использовать анонимные переменные house (англичанин, красный, _, _, _). но я не знаю, как интерпретировать это для домашней работы.
Вот ограничения: вы должны использовать следующие бинарные предикатные символы:
owns(N,Pet)
smokes(N, Cigarette).
drinks(N, Drink).
Кроме того, вы можете использовать любое количество предикатов.
вот как я инициализировал факты, но я не знаю, как сделать правила в этом случае
next_to(X,Y) :- right_of(X,Y); right_of(Y,X).
owns(spaniard, dog).
drinks(ukrainian, tea).
smokes(japanese, parliaments).
right_of(ivory, green).
lives(englishman, red).
owns(X, snail) :- smokes(X, old_gold).
smokes(X, kools) :- owns(X, yellow).
smokes(X, lucky_strike) :- drinks(X, orange_juice).
drinks(X, coffee) :- owns(X, green_house).
это имеет смысл немного, но в то же время он выглядит совершенно неправильно. Я не думаю, что смогу пойти с этим.:/