Терм1 |
Терм2 |
Отождествимы ? |
джек(Х) джек (личность) джек(Х,Х) джек(Х.Х) джек( . ) f(Y,Z) Х |
джек (человек) джек (человек) джек(23,23) джек (12,23) джек(12,23) Х Z |
да: Х=человек нет да: Х=23 нет да да: X=f(Y,Z) да: X=Z |