В настоящее время на базе рассмотренных выше методик (совместно с М. М. Шарниным) разработан более совершенный проект - так назывемая декларативная машина (ДЕКЛАРмашина), работающая над семантическими сетями. Роль активного процессора играет специальный продукционный механизм. Пополнение продукций осуществляется через вход пользователя, что вызывает расширение языковых и логических возможностей. Для «разработки» входного языка используются уже имеющиеся средства этого же языка. В процессе разработки язык насыщается все новыми категориями, дескрипторами, формами, вводится их интерпретация, задаются способы обработки, решения. Это облегчает не только его использование, но и последующую разработку языка. После упомянутого насыщения ДЕКЛАРмашина может быть передана пользователю, который уже сам может продолжить «разработку», т. е. осуществлять приближение входного языка к привычным ему формам ЕЯ, совершенствовать логические возможности.

ДЕКЛАРмашина реализована на языке Паскаль для ЭВМ «Электроника60». Ее основная особенность - все продукции представлены в сугубо декларативном виде (как семантические сети). Продукции могут работать над продукциями. Более того, все сведения представляются в виде структур, сохраняющих типовые дескрипторы ЕЯ - тот, который, имеется, некоторый, каждый, никто, должен быть и др. Последние рассматриваются как отношения. Обработка ведется специальными продукциями на уровне таких структур. Продукции играют роль метазнаний, которые также могут пополняться через входной язык. Таким способом может быть реализован как прямой, так и обратный вывод, а также групповые стратегии означивания. Обеспечиваются логические возможности, не уступающие полному методу резолюций (и соответственно возможностям языка PROLOG). Могут решаться задачи дедуктивных банков данных. При этом обеспечивается высокая степень декларативности, допускается введение все новых дескрипторов и способов работы с ними, используются все более сложные структуры знаний, поддерживаются возможности все новых прикладных логик, основанных на привычных пользователю категориях. В ДЕКЛАРмашину могут быть введены структуры знаний (гсети), играющие активную роль и могущие служить для проверки целостности, непротиворечивости информации, организации различных видов встречной активности.

ДЕКЛАРмашину предполагается использовать как инструментальное средство для быстрого создания пустых оболочек экспертных систем, для поддержания проблемных языков спецификаций, различных методик синтеза. Предполагается поддержка языков, основанных на пользовательских категориях и допускающих постоянное расширение с помощью форм типа «значит». Освоение таких языков будет требовать значительно меньших трудозатрат от пользователей и будет естественным образом связано с доработкой языка, настройкой на человека. Открываются новые горизонты в плане развития ЭВМ массовых применений.