Унификация - часть 2

Терм1

Терм2

Отождествимы ?

джек(Х)

джек (личность)

джек(Х,Х)

джек(Х.Х)

джек( . )

f(Y,Z)

Х

джек (человек)

джек (человек)

джек(23,23)

джек (12,23)

джек(12,23)

Х

Z

да: Х=человек

нет

да: Х=23

нет

да

да: X=f(Y,Z)

да: X=Z