ХLog – язык обработки HTML- и XML-документов
11
5) Унификация элементных переменных. Пусть $$X и $$Y – эле-
ментные переменные, тогда унификация выполняется по правилам
5a–5г.
5a) Если переменные $$X и $$Y связаны друг с другом, унифика-
ция успешна.
5б) Если переменная $$X конкретизирована значением A, а пере-
менная $$Y конкретизирована значением B, тогда унификация
успешна в случае, если A и B унифицируются.
5в) Если переменная $$X конкретизирована значением A, а пере-
менная $$Y не конкретизирована, унификация успешна, $$Y примет
значение A и станет связана с $$X,
5г) Если переменные $$X и $$Y не конкретизированы и не связа-
ны, унификация успешна и $$X, $$Y станут связанными.
6) Унификация XLog-элементов выполняется по правилам 6a–6в.
6a) Пусть заданы XLog-элементы
<t1 a
1
=V
1
…a
n
=V
n
>H1…HP</t1> ,
<t2 b
1
=L
1
…b
m
=L
m
>A1…AP </t2>.
Они успешно унифицируются, если H
1
…H
p
и A
1
…A
p
попарно
унифицируются и заголовок <t1 a
1
=V
1
…a
n
=V
n
> унифицируется с за-
головком <t2 b
1
=L
1
…b
m
=L
m
>.
6б) Пусть заданы XLog-элементы
A=<t1 a
1
=V
1
…a
n
=V
n
> H
1
…H
p
|$$X </t1>,
B= <t2 b
1
=L
1
…b
m
=L
m
> A
1
…A
k
</t2>
и p
k, тогда A и B унифицируются, если заголовок <t1
a
1
=V
1
…a
n
=V
n
> унифицируется с <t2 b
1
=L
1
…b
m
=L
m
>, а также H
1
…H
p
и A
1
…A
p
попарно унифицируются. Причем если $$X не конкретизи-
рована, она принимает значение A
p+1
…A
k
, если же $$X конкретизи-
рована, значение должно унифицироваться с A
p+1
…A
k
.
6в) Пусть заданы XLog-элементы
A= <t1 a
1
=V
1
…a
n
=V
n
>H1… HP|$X</t1>,
B= <t2 b
1
=L
1
…b
m
=L
m
>A1…AP|$Y</t2>.
Тогда A и B унифицируются, если унифицируются заголовки,
H1…HP и A1…AP попарно унифицируются, а $X унифицируется с $Y.
Пример 7.
В результате унификации HTML-документа и шабло-
на из примера 1 получим: $X1 связана с пустой строкой, $X2 – со
значением «Петя послушный мальчик. Петя пошел в школу», пере-
менная $X3 – с пустой строкой.
