.


:




:

































 

 

 

 


-




-

- ( ) - ( ) . , , 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 .

 





:


: 2016-11-18; !; : 1184 |


:

:

- , 20 40 . - .
==> ...

957 - | 907 -


© 2015-2024 lektsii.org - -

: 0.018 .