胡振华 王本年 鲁汉榕 高洪奎 陈桂明 刘初长 周宁 范仲春 胡运发 谢俊元 程代杰 付成伟 陈世鸿 史忠植 王茂光 李成夫 李德毅 石川 丁一峰 刘良观 席裕庚 邓铁清 陈兆乾 张纯刚 童頫 沈一栋 陈世福 李迎豪 甘小平 孙怀民

子句 PROLOG 滚动规划 机器人路径规划 可达性 设计与实现 查错信息 序分解 源程序 4元组 路径匹配 可达性 死循环 安全性 Prolog程序 部分计算 知识库 子结点 PROLOG语言 程序员 直接后继 并行计算 处理技术 AND并行 自动综合 非逻辑 振荡 prolog 程序设计环境 证明方法

子句 PROLOG 滚动规划 机器人路径规划

可达性