Soundness of SLD Resolution: If the search procedure has derived the goal, the rules used can be used by forward chaining to infer the query. Completeness of SLD Resolution: If forward chaining can derive an atom, then the rules used can be used to construct an SLD derivation 2 .请用中文解释

SLD Resolution 的 Soundness 和 Completeness 都是关于该搜索过程的正确性和完整性的性质。

Soundness 表明，如果搜索过程已经推导出了目标，那么使用正向链接可以推导出查询。也就是说，如果我们能够通过 SLD Resolution 推导出目标，那么使用正向链接也能够推导出查询。

Completeness 表明，如果正向链接能够推导出一个原子，那么使用的规则也可以被用来构造一个 SLD 推导。也就是说，如果我们能够通过正向链接推导出一个原子，那么使用这些规则也可以构造一个 SLD 推导。