ground atom

一个闭原子（ground atom）或闭谓词（ground predicate）是指所有参数均为常项的原子或谓 词。一般地，规则是从原子开始…

...n c c , L C M ： （1）L 中的任意闭原子（ground atom）都对应了 , L C M 的一个二值节点。