电脑体验，效果更佳

Prolog程序图谱-计算机领域：

研究人员

王怀民 章骏 王志坚 徐家福

相关术语

目标程序 分布并行 等价函子 prolog 子目标 问题求解 解释程序 IPS系统

标签云