
6.5.9 Исчисление предикатов
Условие: Определить наиболее общий унификатор и соответствующий ему общий пример для следующего множества термов или показать, что множество неунифицируемо. \[ \left\{L_{i}\right\}=\{h(f(a), g(y, z), y), h(x, g(b, u), c)\} \]