A logical form is a well-formed formula a structured set of constituents which undergoes formal logical operations determined by its structure .

一个逻辑形式就是一个 完整的公式、一 套有结构的构成成分以及要经过由其结构决定的形式逻辑运作。

The basic concept in SLD derivation semantics is the well-formed derivation set .

SLD推导语义的基本概念是 合 式推导 集合， 合 式推导 集合是部分SLD树的 形式化表示。

A well-formed derivation set is a formal denotation of a partial SLD-tree .

语义域是collection的构成的完备格， collection是将目标映射到 合 式推导 集合的部分函数，可以看作是一个目标在推导过程中得到的部分SLD树。