Let \(\Theta \)  be the set of all substitutions and
\(\Theta ^0 \subseteq \Theta \)  the set of ground substitutions, that
are mappings variables to ground terms. All necessary notions from
model theory and logic programming are elementary and can be
easily found in books [1]},
[2]}, [3]}.
