第六章 归结原理6.1子句集的Herbrand 域一、Herbrand 域与Herbrand 解释l 定义 （Herbrand 域）设S 为 子句集，令H0是出现 于子句集S 的常量符号集。如果S 中无常量符号出现 ，则H0由一个常量符号a组 成。对 于i 1，2，令Hi=Hi-1 所有形如f(t1，tn) 的项 其中f(t1，tn) 是出现 在S 中的所有n 元函数符号，tjHi-1，j 1，n 称Hi为S 的i 级 常量集，H称为S 的Herbrand 域，简 称S 的H 域。Date1l 例 S P(f(x) ，a，g(y) ，b) H0=a,bH1=a,b,f(a),f(b),g(a),g(b) H2a, b,f(a),f(b),g(a),g(b),f(f(a),f(f(b),f(g(a),f(g(b),g(f(a),g(f(b),g(g(a),g(g(b) Date2练习: 求S 的Herbrand 域l S P(x) Q(y) ，R(z)l S Q(a) P(f(x) ，Q(b) P(g(x,y)Date3原子集 基例l 基：把对象中的变量用常量代替后得到的无变量符号出现的
