邵志清 刘育刚 朱长元 刘亚军 蔡经球 刘柏丽

函数变元 尾递归 开料算法 等价变换 切割方式 谓词逻辑 操作语义 塑钢门窗 程序变换 计算规则 递归子程序 程序设计方法学 非递归化 计算机 计算序列 重调用 并行递归 Prolog语言 递归函数 整数规划 递归调用 终止问题