电脑体验，效果更佳

线性齐次逻辑程序图谱-计算机领域：

研究人员

姚天顺 金祥意 王家华 曹路

相关术语

IDB谓词 魔集算法 EDB谓词 DataLog逻辑程序

标签云