Унификация. Прошу помощи по решению этой задачи.

[Erinov]

Добрый вечер. Прошу у вас помощи в решении одной задачи, помогите если не трудно )

1) Определить, унифицируемо ли множество W. В случае унифицируемости найти наиболее общий унификатор.
W={P(c,x),P(c,c)}

[mihailm]

Можно ли узнать определения унифицируемости и унификатора? еще множество W как то нестандартно задано и непонятно что это такое, и на всякий случай название предмета скажите:)