Шипицина Анастасия Андреевна (RU)

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