护照申请游戏与官僚逻辑

英国护照申请被描述为一个冒险解谜游戏，需要通过收集并递交原始文件来证明英国国籍.

游戏遵循“官僚逻辑”，类似于构造型逻辑，需要为每个断言提供原始文件作为证明，并避免使用排中律.

申请流程会递归追溯家庭成员的国籍与身份，可能需要曾祖父母等多代人的出生和婚姻证书.

作者使用Haskell与LogicT单子将英国国籍法规则编码，交互式生成不同的证明路径及所需文件集合.

尽管自动化工具能提前生成完整文件清单，但英国国籍法极其复杂，全面自动化既可能失误又削弱游戏乐趣。