如何在Prolog中根据航班日程的days谓词输出通航日期文本？

你当前使用嵌套->/;条件结构无法输出所有符合条件的日期，核心原因是Prolog的->是排他性选择符——只要前面的条件（如A=1）满足，就会执行对应分支，后续所有嵌套分支都不会被触发，因此只能得到第一个匹配的日期，而非全部。

方案一：直接逐个检查（直观易读） #

定义辅助谓词分别处理每个日期的检查与输出：

% 接收days结构，逐个检查并输出值为1的日期
print_days(days(M, Tu, W, Th, F, Sa, Su)) :-
    check_and_print(M, monday),
    check_and_print(Tu, tuesday),
    check_and_print(W, wednesday),
    check_and_print(Th, thursday),
    check_and_print(F, friday),
    check_and_print(Sa, saturday),
    check_and_print(Su, sunday).

% 值为1时输出对应日期
check_and_print(1, Day) :- write(Day), nl.
% 值为0时无操作，直接成功
check_and_print(0, _).

查询示例：

?- fly(_, _, _, Days), print_days(Days).

对应示例数据的输出：

monday
wednesday
friday
sunday

方案二：列表配对遍历（更灵活） #

通过将days结构转换为列表，与星期文本列表配对后递归遍历：

print_days(Days) :-
    % 将days结构拆解为[days, M, Tu, W, Th, F, Sa, Su]，提取后面的标记列表
    Days =.. [days|Flags],
    % 定义星期文本列表，与标记列表一一对应
    Weekdays = [monday, tuesday, wednesday, thursday, friday, saturday, sunday],
    print_matching(Flags, Weekdays).

% 递归终止条件：两个列表都为空
print_matching([], []).
% 标记为1时，输出对应星期，继续处理剩余元素
print_matching([1|RestFlags], [Day|RestDays]) :-
    write(Day), nl,
    print_matching(RestFlags, RestDays).
% 标记为0时，跳过当前元素，继续处理剩余元素
print_matching([0|RestFlags], [_|RestDays]) :-
    print_matching(RestFlags, RestDays).

这个方案的优势是如果后续需要调整日期顺序或数量，只需修改Weekdays列表即可，无需改动多个检查语句。

内容的提问来源于stack exchange，提问作者dokichan