Схема на раздела

  • Субституции. Унификатори. Алгоритъм за намиране на най-общ унификатор чрез решаване на системи от термове.