... know(An, X) và know(Y, husband(Z)) thìhợp nhất tử tổng quát nhất là: θ = [Y/An, X/ husband(Z)]Sau đây chúng ta sẽ trình bày thuật toán hợp nhất, đó là thuật toán có ba tham biến: hai biểu thức ... phép thế [t/Am], ta nhận được câu:10) Kill( Ba , “Bibi”)Từ câu (6) và câu (10) với phép thế [u /Ba, v/Bibi], ta nhận được câu:11) ¬AnimalLover( Ba ) + ¬Animal(“Bibi”)Từ câu (3) và câu (8) ... ¬AnimalLover( Ba )Từ câu (1) và câu (5), với phép thế [y/D] ta nhận được câu:14) ¬ Rear(X, “D”) + AnimalLover(X)Từ câu (2) và câu (14), với phép thế [x /Ba] ta nhận được câu:15) AnimalLover( Ba )Từ...