Патенты автора Куваев Алексей Сергеевич (RU)

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

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

 


Наверх