利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则 利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则,和空间关系表示 2015-11-15 44 SDC约束