极简机器如何学习算术递归程序

研究者提出"极简机器"（Minimalist Machine）归纳程序合成框架，用 Prolog 的紧凑关系子集在固定模式内搜索程序，仅含无体事实与双体合取 Horn 子句。递归不靠专用元规则定义，而是在学习到的子句体内复用目标谓词时自然涌现。该框架受小学课程启发，用于模拟人类从极少经验中习得复杂递归概念的过程。