Prolog不使用maplist实现嵌套列表校验的谓词运行错误排查

• 语法解析错误：第一个子句里not(subset([red, red, red], Choice) 缺少对应闭合右括号，代码无法正常加载运行。
• 逻辑误用subset谓词：
  标准库subset/2属于集合运算，会自动去除列表中的重复元素再做包含校验，完全不适合用来统计列表内元素的重复出现次数：
  • 原代码用subset([red, red], Choice)判断Choice里存在两个red，实际只要Choice中有1个red，这个判断就会返回真（重复red被去重处理）
  • 原代码用not(subset([red, red, red], Choice))判断Choice里不存在三个red，实际只要Choice中有1个red，subset([red, red, red], Choice)就会返回真，取反后整个目标直接判定为假——哪怕Choice里刚好有2个red，这个判断也会让规则失效，这就是嵌套列表查询返回False的根本原因。
• 递归缺失终止基例：处理嵌套多人列表的规则，只定义了非空列表的递归分支，没有定义空列表的匹配规则，递归到剩余列表为空时，没有可匹配的子句会直接判定失败，整个递归链路无法正常走完。

• 替换错误的subset计数逻辑，自定义简单的计数谓词，直接遍历Choice列表统计red的出现次数，判断计数结果恰好等于2。
• 补上嵌套递归的终止规则：定义only_two([]).，表示空的人员列表满足验证要求。
• 保留原有递归结构：当输入为嵌套列表时，先验证头部的个人选择列表符合规则，再递归校验剩余的人员列表。

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