, . S1 S2 S1 :
S1`: ù (, )
S2 S1 S2 , , , :
S2`: (, ) (, Z, )
S1` S2`, , . S1` S2` :
S: ù (, Z, )
(, )
(, )
(, )
Q = { := , := }
Q = {X1:= t1,..., Xn:= tn}
i - , ti , .
, .
( 4.1):
4.1
p(5), p(5) | Q- ( ) | p(5) |
p (x), p(5) | Q = {x:=5} | p(x)Q = p(5)Q = p(5) |
p(x), p(y) | Q = {x:=y} | p(y) |
p(x, y), p(5, x) | Q = {x:=5, y=x} = = {x:=5, y:=5} | p(x,y)Q = p(5,x)Q = p(5,5) |
ù p(5, x) p(x, y) ← q(x) | Q = {x:=5, y:=5} | p(5,5) : s: ù q(x)Q = ù q(s) |
.
3 :
, , . .
, - .
, , . , ,
D1, D2,..., D
,
Dn = (),
, , .
|
|
, . , :
- , , , - .
, , . .
, . , .
, , :
(IS - A);
(PART - OF).
,
IS - A
, . , . , . IS - A..
PART - OF ,
, .
.
, , (. 5.1).
. 5.1. - 1
, , , (. 5.2).
. 5.2. - 2
,
, ,
, .
, . , . 5.3.
. 5.3. - 3
, , IS A PART OF .
, , . ., - . . , , , . 5.4. i , , ( j) . .
|
|
. 5.4. - 4
-
IS - A.
, , , .
|
. 5.5. - 5
-
(, )
(, )
(, )