- , .. , .
: , .
, . 3.17. , , ... ( ), - 1, 2, 3... (S, , ), , S. , (S, , ) (S, , ). , . 3.17.
. 3.17.
, 8 , :
(,): - (,8), write_list(),!.(1)
(,): - (,,),_(,),(,[|]).(2)
, - 1 , 8, . , 2. 2 , () , , , .
, ,
([],()).
([ | ], N):- (, ), N is M+1.
write_list([]).
write_list([H | T]):-write(H),write_list(T).
?-(4,[]).
- , 4 .
: , , , , , , , .
?-(1,[]) -һ.
, , - , .
1) - ( );
2) , .
3) - , ;
4) .
, , , - . . :
|
|
1) , , , ( ) ();
2) ;
3) () .
, , .
: - 3 5 . 4 ?
V W . V=0, \V=0, V=0, W=4. :
(V1, W1):- (V2, W2).
,
(0, W):- (V, W).
, . . , , , , . , , !
(3, W):- (V, W). , .
, , , .
(3,W):- (V,W-V+3).
(V,0):- cocy(V-W,W).
(V,5): - coc(V-W+5,W).
(0,W):- (V,W-V).
- . () 3- - . :
(V1,W1,[V1,W1|]):- _(V1,W1,), (V2,W2,).
, , :
(_,4,):- write_list().
1. ?
2. ?
3. ?
4. ?
5. ?
6. , .
7. ?
8. ?
9. :
) , , , , ..;
) ;
) , , , , ;
) (, ..);
) ;
) , ;
) ;
) ( );
) .
10. , :
) b, , , ;
|
|
) , ;
) r h, ;
) b , , ;
11. :
)2+3+4
) (2+8+4)/2
) -^2
) x^2+xy+y^2
) /2+5
)x^2+3y^2
) 5(34-)
12. , :
) , ;
) , ;
) , ;
) , ;
) , ,
;
) , , ;
) , , ;
) , MIN ;
) , ;
) , ;
) , .
13. , , .
14. , , 13, , .
15. , .
16. , .
17. , ,
.
18. , , 10 5 , 3, 7 10 .
19. ,
.
20. ,
.
21. ,
, 7 9 .
22. ,
44 .