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