SLD解析

SLD解析SLD解析是逻辑编程中使用的基本推理规则。它是对解析的细化，对于霍恩子句来说，它既是健全的，又是反驳完整的。SLD推理规则给定一个目标句，表示为要...