(3)找出Fk的差异集D (4)若Dk中存在元素xk和tk,其中Xk是变元，tk是 项，且Xk不在tk中出现，则置 ok+1=ok。{tk/x} FK+1-Fktk/Xx K=k+1然后转(2) (⑤)算法中止，F的最一般合一不存在 (3)找出Fk的差异集Dk (4)若Dk中存在元素xk和tk,其中xk是变元，tk是 项，且xk不在tk中出现，则置 σk+1=σk 。{tk/xk} Fk+1=Fk{tk/xk} K=k+1 然后转（2） (5)算法中止，F的最一般合一不存在