如何用Prolog实现晚宴宾客分餐分组逻辑？

需求说明 #

需要实现Prolog谓词make_dinner(?Starters, ?Main, ?Dessert, +List_of_Persons, +Group_size)，功能是将宾客列表按指定组大小拆分为开胃菜、主餐、甜点三个阶段的分组列表，核心约束是宾客不会与同一人同桌两次。

示例输出：

Appetizer: [[Tick, Trick, Track],[Tic, Tac, Toe], [Jerry, Larry, Harry]]
Main: [[Tick, Tic, Jerry], [Trick, Tac, Larry],[Track, Toe, Harry]]
Dessert: [[Tick, Tac, Larry], [Trick, Toe, Harry], [Track, Tic, Jerry]]

思路可行性分析 #

你的思路完全可行，逻辑清晰且适配Prolog的递归+逻辑匹配特性，以下是具体实现步骤与代码拆解：

一、计算分组数量 #

根据宾客列表长度和组大小，计算开胃菜阶段的分组数，处理最后一组人数不足的情况：

% 计算分组数：总人数能被组大小整除则直接取商，否则商加1
group_count(List, GroupSize, Count) :-
    length(List, Total),
    (Total mod GroupSize =:= 0 -> Count is Total // GroupSize ; Count is Total // GroupSize + 1).

二、生成开胃菜分组（Starters） #

按原顺序拆分列表为指定大小的子组，递归实现拆分逻辑：

% 基线：空列表拆分结果为空
split_list([], _, []).
% 递归：取当前组（剩余长度不足组大小时取剩余全部），再拆分剩余列表
split_list(List, GroupSize, [Group|Rest]) :-
    length(List, L),
    (L =< GroupSize -> GSize = L ; GSize = GroupSize),
    length(Group, GSize),
    append(Group, Remainder, List),
    split_list(Remainder, GroupSize, Rest).

% 生成开胃菜分组
starters_groups(List_of_Persons, Group_size, Starters) :-
    split_list(List_of_Persons, Group_size, Starters).

三、生成主餐（Main）与甜点（Dessert）分组 #

通过矩阵转置生成主餐分组（确保同组来自开胃菜不同子组），通过子组循环移位+转置生成甜点分组，避免重复同桌：

1. 矩阵转置实现（生成主餐） #

% 基线：所有行为空时转置结果为空
transpose([[]|_], []).
% 递归：取矩阵第一列作为转置后的一行，再转置剩余矩阵
transpose(Matrix, [Row|Rest]) :-
    first_column(Matrix, Row, RestMatrix),
    transpose(RestMatrix, Rest).

% 提取矩阵第一列，同时生成剩余矩阵
first_column([], [], []).
first_column([[H|T]|Rows], [H|Hs], [T|Ts]) :-
    first_column(Rows, Hs, Ts).

2. 循环移位实现（生成甜点） #

% 列表循环左移：[a,b,c] → [b,c,a]
rotate_left([H|T], Rotated) :-
    append(T, [H], Rotated).

3. 整合生成逻辑 #

make_dinner(Starters, Main, Dessert, List_of_Persons, Group_size) :-
    % 生成开胃菜分组
    starters_groups(List_of_Persons, Group_size, Starters),
    % 主餐分组：转置开胃菜分组
    transpose(Starters, Main),
    % 甜点分组：开胃菜子组左移后转置
    maplist(rotate_left, Starters, RotatedStarters),
    transpose(RotatedStarters, Dessert),
    % 验证所有宾客无重复同桌（可选，用于确保正确性）
    all_no_repeat(Starters, Main, Dessert, List_of_Persons).

% 检查单个宾客的所有同桌无重复
no_repeat_tablemates(Person, Starters, Main, Dessert) :-
    findall(M, (member(G, Starters), member(Person, G), M \= Person), S),
    findall(M, (member(G, Main), member(Person, G), M \= Person), Ma),
    findall(M, (member(G, Dessert), member(Person, G), M \= Person), D),
    append([S, Ma, D], All),
    sort(All, Sorted),
    length(All, Len), length(Sorted, Len).

% 检查所有宾客均满足无重复同桌
all_no_repeat(Starters, Main, Dessert, Persons) :-
    forall(member(P, Persons), no_repeat_tablemates(P, Starters, Main, Dessert)).

递归逻辑拆解 #

Prolog递归是声明式匹配，和Java命令式递归不同：

• split_list：通过匹配空列表作为基线，递归时先声明当前组的长度约束，再让Prolog自动回溯找到符合条件的拆分方式；
• transpose：通过匹配“空矩阵”作为基线，递归时先提取第一列，再对剩余矩阵重复操作，无需手动控制循环索引。

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