6.5.14 Исчисление предикатов

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