电脑体验，效果更佳

SLD-归结图谱-社科哲学领域：

研究人员

李娜 王湘云

相关术语

Horn逻辑 Prolog 谓词逻辑

标签云