unification

1. унификация

#

1. соблюдение единой формы, единообразия. Антоним – anti-unification;

2. в Прологе – процесс нахождения решения путём сопоставления предикатов цели с предикатами базы знаний, т. е. операция приведения операндов к единому виду в языках логического программирования.

Связные термины

logical programming, Prolog

Все термины