邢汉承 马素霞 杨和平 郭剑昆 郑纬民 苗巍山 李永坚 黄达尧 缪淮扣 郑人杰 林豪 范仲春 梁锐城 胡运发 李迎豪 黄庆彦 高洪奎 赵振西 鲁汉榕 汤慧媛 蔡致暖 甘小平 吴荣泉 柯向东 胡子昂 黄乾 卢肇川 朱关铭 黄文奇 邢东生

PROLOG 子目标 均覆盖 PC系统 设计与实现 识别法 指令集 特征数 冗余 弹出菜单 被积函数 定理证明器 提问式 PI归结 证明树 积式 过程调用 控制执行 真值表 归结式 辅助函数 卡片文件 编译系统 支持集策略 编译实现 知识库管理 数据描述 工资项 网络MIS 单解关系

PROLOG

子目标