在 Prolog 中解决文本逻辑难题 - 查找生日和月份

我正在阅读“7天7种语言”一书，并且已经读到了Prolog章节。作为学习练习，我试图解决一些文本逻辑难题。谜题如下：

五姐妹的生日都在不同的月份，并且各自在一周的不同日期。使用下面的线索，确定每个姐妹的生日是在月份和星期几。

1. 宝拉出生于三月，但不是星期六。阿比盖尔的生日不是星期五或星期三。
2. 生日在星期一的女孩比布伦达和玛丽早出生。
3. 塔拉不是二月出生的，她的生日是在周末。
4. 玛丽不是十二月出生的，她的生日也不是在工作日。六月生日的女孩是在周日出生的。
5. 塔拉比布伦达早出生，布伦达的生日不是星期五。玛丽不是七月出生的。

对于经验丰富的 Prolog 程序员来说，我当前的实现可能看起来像个笑话。代码粘贴在下面。

我希望得到一些关于如何解决问题以及如何使代码既清晰又密集的意见。

Ie:

1. 我怎样才能避免输入限制说这些日子必须是唯一的。
2. 我怎样才能避免输入月份必须是唯一的限制。
3. 添加生日排序限制。

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.

Update根据chac的回答，我能够解决这个难题。按照同样的方法，我们（工作中的编程语言能力小组）也能够解决第二个难题。我已经发布了完整的实现，以及 GitHub 上作为要点的示例输出 https://gist.github.com/3622877.

使用maplist/2将大大缩短你的代码。例如：

maplist(is_month, [Month1,Month2,Month3,Month4,Month5]).

Month/1 可能是比 is_month/1 更好的谓词名称。要声明两项不同，请使用约束 diff/2。使用maplist/2和dif/2，你可以描述一个列表包含成对不同的元素：

all_dif([]).
all_dif([L|Ls]) :-
        maplist(dif(L), Ls),
        all_dif(Ls).

Example:

?- all_dif([X,Y,Z]).
dif(X, Z),
dif(X, Y),
dif(Y, Z).

solve/1 是一个命令式名称 - 您正在描述解决方案，因此最好将其称为solution/1。