Hi称为S的i水平常量集。不难看出，H域是直接依赖于G的，而且最多只有可数个元素。 　　例题2-4 　　设子句集S = { P(x), Q(y,f(z,b)),R(a)}，求H域 　　解： 　　H0 ＝ {a, b}为子句集中出现的常量 　　H1 ＝ {a, b, f(a,b), f(a,a), f(b,a), f(b,b)} 　　H2 ＝ { a, b, f(a,b), f(a,a), f(b,a), f(b,b)， 　 　　　　f(a,f(a,b)), f(a,f(a,a)), f(a, f(b,a)), f(a, f(b,b)), 　　　　 　f(b,f(a,b)), f(b,f(a,a)), f(b, f(b,a)), f(b, f(b,b)), 　　　　 　f(f(a,b),f(a,b)), f(f(a,b),f(a,a)), f(f(a,b), f(b,a)), f(f(a,b), f(b,b)), 　　　　 　f(f(a,a),f(a,b)), f(f(a,a),f(a,a)), f(f(a,a), f(b,a)), f(f(a,a), f(b,b)), 　　　　 　f(f(b,a),f(a,b)), f(f(b,a),f(a,a)), f(f(b,a), f(b,a)), f(f(b,a), f(b,b)), 　　　　 　f(f(b,b),f(a,b)), f(f(b,b),f(a,a)), f(f(b,b), f(b,a)), f(f(b,b), f(b,b))} 　　……… 　　H∞ = H1∪H2∪H3……… 　　解毕 　　注意：一个函数中含有多个变量时，每个变量都要做到全部的组合。