Я читаю книгу «7 языков за 7 дней» и дошел до главы «Пролог». В качестве обучающих упражнений я пытаюсь решить некоторые текстовые логические головоломки. Головоломка выглядит следующим образом:
У пяти сестер день рождения в разном месяце и у каждой в разный день недели. Используя подсказки ниже, определите месяц и день недели, когда у каждой сестры день рождения.
- Паула родилась в марте, а не в субботу. День рождения Абигейл был не в пятницу и не в среду.
- Девушка, у которой день рождения в понедельник, родилась раньше в этом году, чем Бренда и Мэри.
- Тара родилась не в феврале, и ее день рождения был в выходные.
- Мэри родилась не в декабре, а ее день рождения не был в будний день. В воскресенье родилась девочка, чей день рождения был в июне.
- Тара родилась раньше Бренды, чей день рождения пришелся на пятницу. Мэри родилась не в июле.
Моя текущая реализация, вероятно, выглядит как шутка для опытных программистов на Прологе. Код вставлен ниже.
Я хотел бы получить информацию о том, как решить этот вопрос и как сделать код четким и плотным.
Ie:
- Как мне не указывать ограничения, говорящие о том, что Дни должны быть уникальными.
- Как я могу не указывать ограничения, в которых говорится, что месяцы должны быть уникальными.
- Добавьте ограничение на порядок дней рождения.
is_day(Day) :-
member(Day, [sunday, monday, wednesday, friday, saturday]).
is_month(Month) :-
member(Month, [february, march, june, july, december]).
solve(S) :-
S = [[Name1, Month1, Day1],
[Name2, Month2, Day2],
[Name3, Month3, Day3],
[Name4, Month4, Day4],
[Name5, Month5, Day5]],
% Five girls; Abigail, Brenda, Mary, Paula, Tara
Name1 = abigail,
Name2 = brenda,
Name3 = mary,
Name4 = paula,
Name5 = tara,
is_day(Day1), is_day(Day2), is_day(Day3), is_day(Day4), is_day(Day5),
Day1 \== Day2, Day1 \== Day3, Day1 \== Day4, Day1 \== Day5,
Day2 \== Day1, Day2 \== Day3, Day2 \== Day4, Day2 \== Day5,
Day3 \== Day1, Day3 \== Day2, Day3 \== Day4, Day3 \== Day5,
Day4 \== Day1, Day4 \== Day2, Day4 \== Day3, Day4 \== Day5,
is_month(Month1), is_month(Month2), is_month(Month3), is_month(Month4), is_month(Month5),
Month1 \== Month2, Month1 \== Month3, Month1 \== Month4, Month1 \== Month5,
Month2 \== Month1, Month2 \== Month3, Month2 \== Month4, Month2 \== Month5,
Month3 \== Month1, Month3 \== Month2, Month3 \== Month4, Month3 \== Month5,
Month4 \== Month1, Month4 \== Month2, Month4 \== Month3, Month4 \== Month5,
% Paula was born in March but not on Saturday.
member([paula, march, _], S),
Day4 \== sunday,
% Abigail's birthday was not on Friday or Wednesday.
Day1 \== friday,
Day1 \== wednesday,
% The girl whose birthday is on Monday was born
% earlier in the year than Brenda and Mary.
% Tara wasn't born in February, and
% her birthday was on the weekend.
Month5 \== february,
Day5 \== monday, Day5 \== wednesday, Day5 \== friday,
% Mary was not born in December nor was her
% birthday on a weekday.
Month3 \== december,
Day3 \== monday, Day3 \== wednesday, Day3 \== friday,
% The girl whose birthday was in June was
% born on Sunday.
member([_, june, sunday], S),
% Tara was born before Brenda, whose birthday
% wasn't on Friday.
Day2 \== friday,
% Mary wasn't born in July.
Month3 \== july.
Обновление На основании ответа от chac мне удалось решить загадку. Следуя тому же рецепту, мы (рабочая группа по изучению языков программирования) смогли решить и вторую головоломку. Я опубликовал завершенную реализацию и пример вывода как суть на GitHub.