Куваев Алексей Сергеевич (RU)

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

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