Интерпретатор языка пространственных запросов SOQL

Программа предназначена для идентификации объектов, соответствующих запросам пользователя, на растровых изображениях. Идентифицированные объекты сохраняются в векторный формат. Запрос составляется пользователем на языке SOQL и содержит в себе описание формы контура и текстурно спектральных характеристик объекта. Описание объекта может быть рекурсивным, что позволяет описывать объекты с различной степенью детализации, а также группу объектов. Язык SOQL основывается на языке Пролог. В интерпретаторе реализован механизм логического вывода, который был объединен с методом деформируемых моделей для оценки найденных решений. Для повышения эффективности перебора в интерпретаторе реализованы оригинальные алгоритмы: эвристический алгоритм на основе А* для сокращения пространства перебора; алгоритм анализа пространственных ограничений для усечения доменов переменных.