: ABC...E. -
A: [ (a,I), (b,I) (c,M) (d,R)...]
...
E: [(b,R), (c,I),... (g,R)]
.
: I - , M - ,
R - .
,
(I M) M R, I;
R I M, R.
, , .
22.
.
- , N (N=4 N=5). ( - ) ( - , , ). , = N.
23.
, .
24.
(5-10 ). , .
: , , , , .
: , , , , .
25.
, . a , .
1. .., . Visual Prolog .: , 2003.
2. . Prolog. .: , 2004. 637 .
3. ., . : . . .: .1990.
, ˸