ХLog – язык обработки HTML- и XML-документов
13
Далее последовательно выполняются конструкции тела правила.
В нашем случае первым выполняется оператор Split. В результате его
исполнения в переменной $$Y1 будет пустой список. Затем исполня-
ется оператор поиска ~.$$Y1.
Оператор ~.$$Y1 унифицируется с правилом 3, состоящим из од-
ного оператора отсечения. Исполнение оператора успешно, поэтому
происходит переход к следующему оператору Split, который также
успешно выполняется. В результате исполнения второго оператора
Split получим список из двух элементов $$Y2 = «Петя послушный
мальчик.», «Петя пошел в школу.».
Оператор ~.$$Y2 унифицируется с заголовком правила 2, в ре-
зультате чего переменные заголовка получают следующие значения:
$$X1= «Петя послушный мальчик.»,
$$X2= «Петя пошел в школу.».
После этого происходит исполнение предикатных конструкций
тела правила 2. Первым выполняется оператор поиска
~.<
sAnl
,
$$X1>, который унифицируется с правилом 4.
Затем переходим к исполнению предикатных конструкций пра-
вила 4. Сначала выполняется оператор Split, в результате $$Y= <«Пе-
тя», «послушный», «мальчик»>. Затем переходим к выполнению
оператора ~.<AtrSnt.$$Y>.
Оператор ~.<AtrSnt. $$Y> не унифицируется с заголовком прави-
ла 6, но унифицируется с заголовком правила 7. Все предикатные
конструкции правила 7 истинны
.
Поэтому происходит возврат в ко-
нец правила 4.
Далее алгоритм работает аналогичным образом.
Интерпретатор.
Архитектура программного обеспечения интер-
претатора позволяет неограниченно расширять набор точечных опера-
торов. Это оправданно, так как набор точечных операторов во многом
определяет эффективность XLog при разработке систем обработки
текстовой информации и сильно зависит от поставленной задачи. То-
чечные операторы, предназначенные для работы с текстовой инфор-
мацией, часто используют различные лингвистические БД, онтологии
и т. д. Технология пополнения точечных операторов позволяет эффек-
тивно работать с трехуровневой архитектурой доступа к БД.
Заключение.
XLog – новый декларативный язык для работы с
HTML/XML-документами. XLog существенно отличается от декла-
ративного языка XSLT и предназначен для анализа и синтеза
HTML/XML-документов, в то время как основное назначение XSLT –
синтез HTML/XML-документов из XML-документов. Механизмы
синтеза в этих языках значительно отличаются: в XLog синтез ведет-
ся с помощью унификации, а в XSLT для этих целей используется
