-
- ( ) - ( ) . , , Smalltalk, C++, Borland Pascal. . , .. . , , , . , - .
- , , , . , (, , ), . , .
, :
;
, .
, - , . - . ( ) (. 3.1). . , - -, . - , .
, , . .
. :
1) 1 ;
2) , 1 , .
, .
: n (n!). n! :
|
|
1) 1! = 1,
2) n! = (n1)! * n
n n!
(N,).
, , :
(1,1).
(N,): - (N1,Y), X is Y*N.
?- (3,A);
. is Y*N is () .
:
?(3,0).
: =6
?(2,1).
X1= 2*3 = 6
?(1,2).
2= 1*2 = 2
(1,1).
( ). ,0,1,2 N,N0,N1,N2, . (1,1) ( ) . (1,1) , .
, , , =6 ?(1,2) . , . , (1,1) !:
(1,1): -!.
, .
. - . :
(X):- (Y), (Y,Z).
().
(,).
().
, . : , , .
, ( ). :
().
(X):- (Y), (Y,).
(,).
? - ().
- , :
(, ): - (, ).
(,): - (,).
(,).
?- (,).
, .
:
(1,...).
(n,...):- Q1,..., Qn, P(n1,), R1,... Rm.
, . Q1,..., Qn , R1,..., Rm ; n , , (1,...) , .
|
|
. repeat.repeat:-repeat.
repeat .