Автор РИД: Шипицина Анастасия Андреевна

Изобретение относится к вычислительной технике и предназначено для выполнения операции унификации пары предикатов. Технический результат заключается в сокращении времени унификации предикатов. Указанный результат достигается за счет использования блока унификации с параллельным сопоставлением...