prompt-programming

# Prompt Programming ## 目标 当用户明确要求“把 prompt 改写成伪代码”“将提示词翻译成可编程自然语言”“输出具有程序结构的人类语言指令”或直接提到 prompt-programming 时使用。将用户原始 prompt 翻译为一种简洁、严谨、可组合的 Prompt Program 方言：形式上像假代码，语义上仍是人类自然语言。 ## 流程 ### 输入 #### 适用与不适用 适用： - 把普通 prompt 变成研究论文式假代码 - 把散乱任务说明重构成统一结构 - 把长 prompt 压缩成可组合、可讨论、可评审的逻辑骨架 不适用： - 用户只想润色语气，不想改变表达结构 - 用户只想执行任务，不关心 prompt 的架构 - 原始输入不是 prompt，而是完整代码实现请求 ### 执行步骤 #### 核心模型 - 单一真相来源是 `config.yaml`。 - 底层只使用 `config.yaml:kernel.semantic_atoms` 定义的 6 个原子： - `Entity`：对象、角色、输入、输出、工具、状态 - `Intent`：目标、交付物、成功条件 - `Operation`：分析、生成、转换、比较、总结、规划 - `Constraint`：必须、禁止、偏好、格式、长度、风格 - `Control`：条件、分支、循环、顺序、回退、优先级 - `Check`：自检、验收、异常处理、结束条件 - 不新增原子；复杂任务靠组合表达。 - 详细定义与块映射见 `references/primitives.md`。 #### 渲染方言 - 块顺序、必需块、可选块、块语义与句式模板，以 `config.yaml:rendering.*` 为准。 - 必守规则： - `输出` 只定义目标产物、目标格式或目标效果。 - `返回` 只定义对 `输出` 的交付动作，不能引入新产物。 - `程序`、`定义`、`缺口处理` 属于可选块；为空就省略。 - 若 `config.yaml:rendering.omit_empty_blocks=true`，禁止为了“看起来完整”补空块。 #### 工作流 ##### 输入验证 先按 `config.yaml:translation.input_validation` 检查输入： - 空输入：拒绝翻译，并要求提供原始 prompt。 - 过短输入：说明信息不足，不输出伪完整结构。 - 非 prompt 型输入：说明本 skill 不适用。 ##### 理解原始 prompt 恢复以下信息： - 真实目标与交付物 - 输入对象与隐含上下文 - 输出契约与验收口径 - 强约束与软偏好 - 控制逻辑：条件、分支、迭代、失败回退 ##### 映射为 6 个原子 - `Entity`：关键对象是什么 - `Intent`：最终要得到什么 - `Operation`：核心动作链是什么 - `Constraint`：哪些条件不能丢 - `Control`：是否存在 if / for each / until / fallback - `Check`：如何判断结果合格 若原 prompt 混乱，先重建逻辑，再翻译；不要保留混乱结构。若没有显式控制逻辑，只能在“显式或强隐含”时补出最小控制结构，不凭空发明分支或循环。 ##### 组织为 Prompt Program - 默认按 `config.ya...