Câu 1: Trình bày thuật giải đồng nhất hóa cho các ngôn ngữ lập trình logicThe unification algorithm: thuật giải đồng nhất hóa
câu x cần đồng nhất với câu yX: biến, hằng, danh sách, kết hợp các vị từTheta: phép đồng nhất từ nãy đến giờIf theta thất bại, tức là x không đồng nhất được với yX = y phép đồng nhất đương nhiên trả về kết quả luôn theta Kiểm tra x có phải là một biến hay không, gọi tới hàm đồng nhất biến (x, y, theta)Kiểm tra y có phải là một biến hay không, gọi tới hàm đồng nhất biến (y, x, theta)Kiểm tra x và y có phải là hỗn hợp các vị từ hay không, trả về đồng nhất (các đối số x, các đối số y, đồng nhất (các toán hạng của x, các toán hạng của y, theta)) Nếu x và y là danh sách thì đồng nhất(phần còn lại x,...