| ?-. | a:-b,c,d. | ?-b,c,d. | ||
| ?-b,c,d. | b:-c,f. | ?-e,f,c,d. | ||
| ?-,f,,d | e.?-f,c,d. | |||
| ?-f,c,d. | f.?-c.d. | |||
| ?-c,d. | c.?-d. | |||
| ?-d. | d. |
, , . .
113
(,).
(,).
(,):-(),().
(,).
(,).
().
().
?- (X,), (X,).
:
, . , :
. 2- =. 1- 2- . 3- :
(,):-(), ().
, X, .. =; . . :
, . :
.
114
(,).
(,).
(,).
(,).
(,).
?- (X,), (X,).
: , , ? , : (, ).
(,).
. , . = , .. (, ). , . : (,), , (,), , (, ). .
- , .3.16. , , .
|
|
|
.3.16.
() (abed), ( ). , . . . , c-d. , - . b bfg, , .
, , . .
: :
1) 1- ;
2) , 1 , .
, .
: n (n!). n! :
1)1!=1,
2)n!=(n-l)!*n.
n n!
(N,). , , ( 115);
115
(1,1).
(N,): - (N-1,V), is Y*N.
?- (3,);
- . is Y*N is () .
:
?(3,A0).
: =6
?(1,A2).
1= 2*3 = 6
(1,1)
2=1*2=2
, - .
- ( ). ,,1,2 N,NO,N1,N2, . (1,1) ( ) - . (1,1) - , .
, , , =6 ?(1,2) . , . , (1,1) !:
(1,1):-!.
, . . - . :
():- (Y),(Y,Z).
|
|
|
().
(,).
().
, - . : , , - .
, ( ). - - .
116
().
(X):- (Y), (Y,).
(,).
? - ().
- , 117.
117
(,): - (,).
(,): - (, ).
(,).
?- (,).
, .
:
(1,...).
P(n,...) -Q1,..., Qn, P(n-l,...), R1,... Rm.
, . Q1,.... Qn , R1,..., Rm - ; n - , , (1,...)- , .
. repeat, repeat: - repeat.
repeat .
