.


:




:

































 

 

 

 





 

 

, , , , , , :

, (.. , );

, , ; ;

, , , , , , ; (, , , , ..) ; .

. 90- XX 5- ( ) . , , 5- . -, : .

, .

:

1) ;

2) ;

3) .

- , (!). : .. z, A.. Z. : .. , .. . , , . , . - .

, (. 3.15).

 

.3.1 5.

 

:

: - ( ),

? (, ),

! ( , ).

, . - _, , .

- , , . , , , . : str(A,B,C), (,).

, . , . : [1,3,5,7], [,,].

, , - ( ). , . :

;

;

( );

( ) . : - , .

: 5 5, , , (,) (, ), (,) (,), .

- -, , . , .

1. , :

 

(,561532).

(,642645).

(,139833).

 

: - 56-15-32 .. , ''". , 561532,642645, 139833 , .

2, , :

 

(,).

(,).

(,).

(,).

 

: , ..

- -.

 

< >: - < >

 

: - , , ( ). . , . , . , 2 :

 

():- (,),(,).

 

- , . :

 

(,Y): - (Y), (,Y). ( Y, Y - ,

Y)

(,): - (,). ( , »)

 

- , , - .

, . . . - , . , . , , , , . : , . , . - ( ).

- , . . , , . , , : ...?. , , 1

 

?-(,123456).

 

, 123456 .

( 3)

 

(,).

(,).

(,).

(,).

(): - (,),(,).

 

 

?-().

 

. ,

 

(,), (,).

 

( ). .

 

? - ().

 

, .

, , : ... ?. (), , , , . ,

 

? - (,).

 

1 =561532 .

3

 

?- ().

 

, .. .

 

()

 

 

(,), (,),

 

(.) (,)>>, ; (,), . : :

 

=.

 

, : , , .. . , , . , . , ( ), , , , - . Arity-Prolog , F1.

.

 





:


: 2016-11-12; !; : 353 |


:

:

,
==> ...

1002 - | 952 -


© 2015-2024 lektsii.org - -

: 0.019 .