电脑体验，效果更佳

PROLOG图谱-自然科学领域：

研究人员

王克宏 夏却利 孙斌 黄志毅 程永丰 王晓国 谢树煜 杨振山

相关术语

谓词 分布式系统 查询 递归 优化 归结 Horn子句 软件改造技术

标签云