程序合成产生式是一种用于描述程序逻辑的符号规则，它由 前提P和结论Q或操作Q'组成。产生式的基本形式是P￫Q或者IF P THEN Q，其中P是产生式的前提（也称为前件），它给出了该产生式是否可用的先决条件，通常由事实的逻辑组合构成；Q是一组结论或操作（也称为产生式的后件），它指出当前提P满足时，应该推出的结论或应该执行的动作。
在程序合成中，产生式可以用于构建程序的知识库，通过这些规则可以描述程序的行为和逻辑结构。这种表示方法有助于实现知识的获取、表示和运用，是专家系统和其他智能系统中的重要组成部分。